The New York City Category Theory Seminar

@thenewyorkcitycategorytheo8781

16 tuit
Sciences formelles & physiques Mathématiques
FR

Gabriel Goren-Roig --- Arboreal Adjunctions from Shapes.

Gabriel Goren-Roig --- Adjunctions arborescentes à partir de formes.

Gabriel Goren-Roig
83 min
4/5
Théorie Des CatégoriesAdjunction ArboréaleSémantique Coalgébrique
Sciences formelles & physiques Mathématiques
FR

Sergei Artemov --- Non-compact proofs.

Sergei Artemov --- Preuves non compactes

Sergei Artemov
96 min
4/5
Logique MathématiqueThéorème D'incomplétudePreuves Non Compactes