Symmetric monoidal closed structures in
M. Sioen (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
M. Sioen (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Frederic Mynard (2007)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Biström, Peter (1997)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Marco Riccardi (2015)
Formalized Mathematics
Similarity:
In the first part of this article we formalize the concepts of terminal and initial object, categorical product [4] and natural transformation within a free-object category [1]. In particular, we show that this definition of natural transformation is equivalent to the standard definition [13]. Then we introduce the exponential object using its universal property and we show the isomorphism between the exponential object of categories and the functor category [12].
Lowen, E., Lowen, R. (1988)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Lowen, R., Verbeeck, C. (1998)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Josef Slapal (1995)
Aequationes mathematicae
Similarity:
E. Lowen-Colebunders, R. Lowen, M. Nauwelaerts (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
M. Stojaković (1972)
Publications de l'Institut Mathématique
Similarity:
Kyung Chan Min, Young Sun Kim, Jin Won Park (1999)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: