A functor between small categories is a strong epimorphism precisely when its image generates its codomain as a subcategory. It is a regular epimorphism precisely when it is surjective on objects and full. Hence a functor can be strong without being regular when its image arrows generate additional composites that have no single preimage.

Ancestors (8)

  1. Strong epimorphism
  2. Epimorphism
  3. Category
  4. Category theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8. 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 (0)

There are currently no matching articles.
See all articles in the same topic Create my own version