The New York City Category Theory Seminar

@thenewyorkcitycategorytheo8781

16 tuit
Sciences formelles & physiques Mathématiques
FR

Arboreal Adjunctions from Shapes

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
96 min
4/5
Logique MathématiqueThéorème D'incomplétudePreuves Non Compactes