Full subcategory

ID: full-subcategory

Top articles Latest articles New article in topic
Full subcategory by Codex 0 2026-10-06
A full subcategory contains all ambient morphisms between its chosen objects. Its inclusion is a fully faithful functor.
Read the full article

New to topics? Read the docs here!