Suppose a complete well-powered category has enough objects saturated with respect to anodyne morphisms. Inside a saturated object containing , intersect all strong subobjects containing . The resulting object is saturated, the map from to it is anodyne, and its extension property makes it the reflection of into the full subcategory of saturated objects.

Ancestors (9)

  1. Saturated object with respect to anodyne morphisms
  2. Anodyne morphism in a category
  3. Monomorphism
  4. Category
  5. Category theory
  6. Foundations of mathematics
  7. Area of mathematics
  8. Mathematics
  9. 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