On the monadicity of categories with chosen colimits.
Kelly, G.M., Lack, Stephen (2000)
Theory and Applications of Categories [electronic only]
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: