exponential object
exponential object · exponential objects
An object which indexes a family of arrows between two given objects in a universal…An object which indexes a family of arrows between two given objects in a 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.
Значение
значений: 1An object which indexes a family of arrows between two given objects in a 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.
An exponential object generalizes its interpretation in category #92;mathbf#123;Set#125;; namely, that of as a function set or internal hom-set.
Формы
мн. число: exponential objects| Ед. число | exponential object |
|---|---|
| Мн. число | exponential objects |
правильный
Однокоренные
связанных слов: 1Связанныеmodus ponens