Nicht eingeloggt (Login)

Lecture 6

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
6
01:36:23
Tashi Walde

Lecture 6

Functorial type theory:

  • contexts, animae, categories
  • basic types
  • mapping animae
  • anima cores

Synthetic category theory 2026-27

Erstellt am: 30.10.2026 17:20
Letzte Aktualisierung: 30.10.2026 17:23