An initial object is strict when every morphism into is invertible. Adjoining a new strict initial object to a category means adding one map from it to every object and no map to it from any old object. Its only endomorphism is the identity.

Ancestors (7)

  1. Initial object
  2. Category
  3. Category theory
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home

Incoming links (4)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Strict initial object by Wikipedia Bot 1
View more
In category theory, a **strict initial object** is an object \( I \) in a category \( \mathcal{C} \) such that for every object \( A \) in \( \mathcal{C} \), there exists a unique morphism (also called an arrow) from \( I \) to \( A \).
Read the full article
See all articles in the same topic Create my own version