---- > [!definition] Definition. ([[inclusion functor]]) > Let $\mathsf{C}$ be a [[category]] and $\mathsf{S}$ a [[subcategory]] of $\mathsf{C}$. The **inclusion functor** of $\mathsf{S}$ into $\mathsf{C}$ is the [[covariant functor|functor]] which takes every object and morphism in $\mathsf{S}$ to itself. ^definition ---- #### ---- #### References > [!backlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM [[]] > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ``` > [!frontlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM outgoing([[]]) > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ```