Skip to main content
2 of 2
$\textit{full}$ -> *full*, and other TeX fixes
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Is a coslice (slice under) category a full subcategory of it ambient category?

Let $\operatorname{C}$ be a category and $c\in \operatorname{C}$ an object. Consider the coslice (sometimes called slice under) category ${\operatorname c}/{\operatorname C}$. My question is whether ${\operatorname c}/{\operatorname C}$ is in general a full subcategory of $\operatorname{C}$? I am particularly interested in the case of commutative $\operatorname{R}$-algebras as the slice category ${\operatorname R}/{\operatorname{CRing}}$, and thus whether the category $\operatorname{R-Alg}$ of commutative $\operatorname R$-algebras is a full sub category of $\operatorname{CRing}$, the category of commutative rings.

sagirot
  • 455
  • 2
  • 6