Is every inclusion functor of a full subcategory limit preserving?
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
No. Nor is it colimit preserving. What is true is that the inclusion reflects all limits and colimits. That is, if $\mathcal{D}$ is a full subcategory of $\mathcal{C}$ with inclusion $i : \mathcal{D} \hookrightarrow \mathcal{C}$, and $A : \mathcal{J} \to \mathcal{D}$ is a diagram, if there is an object $L$ in $\mathcal{D}$ such that $i L = \varprojlim i A$, then $L = \varprojlim A$. |
|||
|
|