• DML-CZ Home

55U40 Topological categories, foundations of homotopy theory (3 articles)

• Riehl, Emily; Shulman, Michael: A type theory for synthetic $\infty$-categories. (English). Higher Structures, vol. 1 (2017), issue 1, pp. 147-224
• Mielke, M. V.: Topos based homology theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 3, pp. 549-565
• Stramaccia, Luciano: Monomorphisms and epimorphisms of inverse systems. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 3, pp. 495-505