A special tricategory
J. V. Michalowicz (1969)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
J. V. Michalowicz (1969)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Hofstra, Pieter, De Marchi, Federico (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Marco Riccardi (2013)
Formalized Mathematics
Similarity:
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two...
Andrée Bastiani, Charles Ehresmann (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Maciej Golinski, Artur Korniłowicz (2013)
Formalized Mathematics
Similarity:
The paper introduces coproducts in categories without uniqueness of cod and dom. It is proven that set-theoretical disjoint union is the coproduct in the category Ens [9].
Lauda, Aaron D. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Lack, Stephen (1999)
Theory and Applications of Categories [electronic only]
Similarity:
Rosický, J., Vitale, E.M. (2001)
Homology, Homotopy and Applications
Similarity:
Jing He (2019)
Czechoslovak Mathematical Journal
Similarity:
Extriangulated categories were introduced by Nakaoka and Palu by extracting the similarities between exact categories and triangulated categories. A notion of homotopy cartesian square in an extriangulated category is defined in this article. We prove that in an extriangulated category with enough projective objects, the extension subcategory of two covariantly finite subcategories is covariantly finite. As an application, we give a simultaneous generalization of a result of X. W. Chen...
Diers, Yves (2005)
Theory and Applications of Categories [electronic only]
Similarity: