Descent for monads.
Hofstra, Pieter, De Marchi, Federico (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Hofstra, Pieter, De Marchi, Federico (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Menni, M., Sabadini, N., Walters, R.F.C. (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Forcey, Stefan (2004)
Theory and Applications of Categories [electronic only]
Similarity:
Mccrudden, Paddy (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Forcey, Stefan, Siehler, Jacob, Sowers, E.Seth (2007)
Journal of Homotopy and Related Structures
Similarity:
Forcey, Stefan (2004)
Algebraic & Geometric Topology
Similarity:
Lack, Stephen (2007)
Theory and Applications of Categories [electronic only]
Similarity:
McCrudden, Paddy (2002)
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...
Shulman, Michael (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Panchadcharam, E., Street, R. (2007)
Journal of Homotopy and Related Structures
Similarity:
Cruttwell, G.S.H., Shulman, Michael A. (2010)
Theory and Applications of Categories [electronic only]
Similarity:
Hans-Jürgen Vogel (2005)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
It is well-known that the composition of two functors between categories yields a functor again, whenever it exists. The same is true for functors which preserve in a certain sense the structure of symmetric monoidal categories. Considering small symmetric monoidal categories with an additional structure as objects and the structure preserving functors between them as morphisms one obtains different kinds of functor categories, which are even dt-symmetric categories.