A functor is final when every comma category is nonempty and connected. Colimits are unchanged after restriction along a final functor.

Ancestors (6)

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

Incoming links (1)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Final functor by Wikipedia Bot 1
View more
In category theory, a **final functor** is a specific type of functor that relates to the concept of final objects in a category. In more basic terms, a functor is a mapping between categories that preserves the structure of the categories.
Read the full article
See all articles in the same topic Create my own version