早安,我們現在繼續進行Colimities,我們還沒完結
我們將在下一個分鐘內結束Colimities
然後我們會繼續進行Colimities,就是我們將進行的
最初的Algebra-構成,Colimities 從綴線上
也許可以 va archives a little bit longer
在第三週後S needed more delivery
通用你是 rear Move人 January
還有 if you do do
然後
idad
什麼
這個
都是
最部分的深 premium还有最高 imperfect distorted多元旗来 편用
虽然!...
我没有新卷例子
方知你有新卷我也有一些 clarifyיים
给大家试试一下
我给你最好에요
最初我们一 excess
F和G的意思是,
在所有的D和G相同的地方,
首先,E和F是E和G,
然後,在所有的D和G相同的地方,
有一個H和G相同的地方,
在這裡,
這是一個,
這是一種宇宙的特質,
和D相同的特質。
這是一個結構,
然後我們看了一些例子,
例如,在數量上,
我們可以說,
C是B的一種對比,
也就是對比的等級,
就是這個條,這個小的對比,
由X和A相同的分別,
F和G的對比,
是在這個對比之中。
我們也看了一些圖片,
A和B是對比的,
我們再寫一下,
V、A、E、A,
然後兩種對比,
然後V、B、E、B,
我們現在要看對比,
就是數量上的圖片,
和角度上的角度,
就是對比的對比,
是V、A、V、A的對比,
Presenters
Zugänglich über
Offener Zugang
Dauer
01:31:21 Min
Aufnahmedatum
2017-11-13
Hochgeladen am
2019-04-20 05:09:18
Sprache
de-DE
Die behandelten Themen bauen auf den Stoff von Algebra des Programmierens auf und vertieft diesen.
Folgende weiterführende Themen werden behandelt:
-
Kategorie der CPOs; insbesondere freie CPOs, Einbettungen/Projektionen, Limes-Kolimes-Koinzidenz
-
Lokal stetige Funktoren und deren kanonische Fixpunkte; Lösung rekursiver Bereichsgleichungen insbesondere Modell des ungetyptes Lambda-Kalküls
-
freie Konstruktionen, universelle Pfeile und adjungierte Funktoren
-
Äquivalenzfunktoren
-
Monaden: Eilenberg-Moore und Kleisli-Kategorien; Freie Monaden; Becks Satz
-
evtl. Distributivgesetze, verallgemeinerte Potenzmengenkonstruktion und abstrakte GSOS-Regeln
-
evtl. Algebren und Monaden für Iteration
Lernziele und Kompetenzen:
Fachkompetenz Verstehen Die Studierenden erklären grundlegende Begriffe und Konzepte der Kategorientheorie und beschreiben Beispiele. Sie erklären außerdem grundlegende kategorielle Ergebnisse. Anwenden Die Studierenden wenden kategorientheoretische Konzepte und Ergebnisse an, um semantische Modelle für Programmiersprachen und Spezifikationsformalismen aufzustellen. Analysieren Die Studierenden analysieren kategorientheoretische Beweise, dieskutieren die entsprechende Argumentationen und legen diese schriftlich klar nieder. Lern- bzw. Methodenkompetenz Die Studieren lesen und verstehen Fachliteratur, die die Sprache der Kategorientheorie benutzt.
Sie sind in der Lage entsprechende mathematische Argumentationen nachzuvollziehen, zu erklären und selbst zu führen und schriftlich darzus