Last Updated :2025/11/23

exponential object

Noun
Japanese Meaning
(圏論)2つの対象間の射の族を普遍的な方法で索引付けする対象。つまり、同一の2対象間における他のどのような射の族も、一意にこの普遍的な射の族を通じて表現(因数分解)される。
What is this buttons?

多くのデカルト閉圏では、指数対象 B^A は A から B への射の族を普遍的に索引する分類子として機能し、対象 X によって索引付けされた A→B の任意の射の族はこの指数対象を通して一意に因子分解される。

plural

Quizzes for review

(category theory) 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.

音声機能が動作しない場合はこちらをご確認ください
See correct answer

exponential object

In many cartesian closed categories, the exponential object BA serves as a universal classifier for morphisms from A to B, so any family of arrows from A to B indexed by an object X factors uniquely through the exponential object.

See correct answer

In many cartesian closed categories, the exponential object BA serves as a universal classifier for morphisms from A to B, so any family of arrows from A to B indexed by an object X factors uniquely through the exponential object.

音声機能が動作しない場合はこちらをご確認ください

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★