Algebraic models of intuitionistic theories of sets and classes.
Awodey, S., Forssell, H. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Awodey, S., Forssell, H. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Freyd, Peter, Street, Ross (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Bourn, Dominique, Gran, Marino (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Diers, Yves (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity:
J. Lambek, P. J. Scott (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Barr, Michael (1998)
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...
McLarty, Colin (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Stubbe, Isar (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Lack, Stephen (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Karazeris, Panagis (2001)
Theory and Applications of Categories [electronic only]
Similarity: