The structure of initial completions
J. Adámek, H. Herrlich, G. E. Strecker (1979)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “The category of uniform spaces as a completion of the category of metric spaces”
The structure of initial completions
Least and largest initial completions. I.
Jiří Adámek, Horst Herrlich, George E. Strecker (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Cartesian closed concrete categories
J. Adámek, V. Koubek (1983)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Epireflections which are completions
G. C. L. Brummer, E. Giuli, H. Herrlich (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Categorical Pullbacks
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...
Categories with slicing.
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity: