Strictification of categories weakly enriched in symmetric monoidal categories.
Guillou, Bertrand J. (2010)
Theory and Applications of Categories [electronic only]
Similarity:
Guillou, Bertrand J. (2010)
Theory and Applications of Categories [electronic only]
Similarity:
Pastro, Craig, Street, Ross (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Shulman, Michael (2011)
The New York Journal of Mathematics [electronic only]
Similarity:
Panchadcharam, Elango, Street, Ross (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Panchadcharam, E., Street, R. (2007)
Journal of Homotopy and Related Structures
Similarity:
Hofstra, Pieter, De Marchi, Federico (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Adamek, J., Rosicky, J., Vitale, E.M. (2010)
Theory and Applications of Categories [electronic only]
Similarity:
Panchadcharam, Elango, Street, Ross (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Adámek, Jiří, Rosický, Jiří (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Davydov, Alexei (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Forcey, Stefan, Siehler, Jacob, Sowers, E.Seth (2007)
Journal of Homotopy and Related Structures
Similarity:
Janelidze, George, Sobral, Manuela (2008)
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...