Separable morphisms of simplicial sets.
Chikhladze, Dimitri (2006)
Journal of Homotopy and Related Structures
Similarity:
Chikhladze, Dimitri (2006)
Journal of Homotopy and Related Structures
Similarity:
Janelidze, G., Kelly, G.M. (1997)
Theory and Applications of Categories [electronic only]
Similarity:
Isbell, J. R.
Similarity:
Tholen, Walter (1999)
Homology, Homotopy and Applications
Similarity:
J. N. Alonso Alvarez, J. M. Fernandez Vilaboa (1994)
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:
C. Castellini, J. Koslowski, G. E. Strecker (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Lawvere, F.William (2007)
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...