Symmetric monoidal completions and the exponential principle among labeled combinatorial structures.
Menni, Matías (2003)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Exponential Objects”
Symmetric monoidal completions and the exponential principle among labeled combinatorial structures.
Accessible set functors are universal
Libor Barto (2019)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
Morita equivalences of enriched categories
Harald Lindner (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Multiple functors. II. The monoidal closed category of multiple categories
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Coherence of the double involution on -autonomous categories.
Cockett, J.A.B., Hasegawa, M., Seely, R.A.G. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Aspects of fractional exponent functors.
Kock, Anders, Reyes, Gonzalo E. (1999)
Theory and Applications of Categories [electronic only]
Similarity:
Categorical Pullbacks
Marco Riccardi (2015)
Formalized Mathematics
Similarity:
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors...
Categories with slicing.
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity:
Multiple functors. III. The cartesian closed category
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On the monadicity of categories with chosen colimits.
Kelly, G.M., Lack, Stephen (2000)
Theory and Applications of Categories [electronic only]
Similarity:
The free adjunction
Stephen Schanuel, Ross Street (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: