Source: wikibot/representable-functors
= Representable functors
{wiki=Category:Representable_functors}
In category theory, a **representable functor** is a functor that is naturally isomorphic to the Hom functor between two categories. To understand this concept more fully, let's first break down some key elements. \#\#\# Basic Concepts 1. **Categories**: In category theory, a category consists of objects and morphisms (arrows) between those objects, satisfying certain properties.