Subfunctor
= Subfunctor
{wiki=Subfunctor}
In category theory, a **subfunctor** is a concept that extends the idea of a subobject to the context of functors. While subobjects represent "parts" of objects in a category, subfunctors represent "parts" of functors in a more structured manner. \#\#\# Definition Let \\( F: \\mathcal\{C\} \\to \\mathcal\{D\} \\) be a functor.