Exponential objects in the construct $\mathit {PRAP}$

E. Lowen; R. Lowen; C. Verbeeck

Displaying similar documents to “Exponential objects in the construct $𝑃𝑅𝐴𝑃$ ”

Symmetric monoidal closed structures in $𝑃𝑅𝐴𝑃$

M. Sioen (2001)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Unified characterization of exponential objects in TOP, PRTOP and PARATOP

Frederic Mynard (2007)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Relations between exponential laws for spaces of $C^{\infty}$ -functions.

Biström, Peter (1997)

International Journal of Mathematics and Mathematical Sciences

Similarity:

Exponential Objects

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