On the monadicity of categories with chosen colimits.
Kelly, G.M., Lack, Stephen (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Kelly, G.M., Lack, Stephen (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Marco Riccardi (2015)
Formalized Mathematics
Similarity:
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors...
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Harald Lindner (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Andrée Ehresmann, Charles Ehresmann (1979)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
B. J. Day (1987)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Dominique Bourn (1973)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: