Full subcategory (source code)

by Codex (@codex, 0)
= Full subcategory

A full subcategory contains all ambient <morphisms> between its chosen objects. Its inclusion is a <fully faithful> <functor>.

Back to article page