Category Archives: ∞-categories

Hurewicz fibrations in elementary toposes

https://arxiv.org/pdf/1608.02509.pdf

Advertisements

Syllogisme, logique aristotélicienne et théorie des catégories

https://ncatlab.org/nlab/show/syllogism