Effective taxonomies and crossed taxonomies
Eine Erweiterung der NGB-Mengenlehre als Grundlage der Kategorientheorie
Étude élémentaire des catégories
Exponentiability in categories of lax algebras. (Dedicated to Nico Pumplün on the occasion of his seventieth birthday).
Exponential Objects
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].