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.