Displaying similar documents to “Strictification of categories weakly enriched in symmetric monoidal categories.”

Descent for monads.

Hofstra, Pieter, De Marchi, Federico (2006)

Theory and Applications of Categories [electronic only]

Similarity:

Balanced coalgebroids.

Mccrudden, Paddy (2000)

Theory and Applications of Categories [electronic only]

Similarity:

Opmonoidal monads.

McCrudden, Paddy (2002)

Theory and Applications of Categories [electronic only]

Similarity:

Object-Free Definition of Categories

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...

Categories of functors between categories with partial morphisms

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.