• exponential object
• exponential objects

exponential object (suomeksi)

Määritelmät:

• (lb, en, category theory) An object which indexes a family of arrows between two given objects in a universal morphism, universal way, meaning that any other indexed family of arrows between the same given pair of objects must factor uniquely through this universally-indexed family of arrows.