over category

Last updated January 27, 2022

Definition

Let $C$ be a category, and $c\in \text{Obj}(C)$.

• The over category of $C$ with respect to $c$, denoted $C/c$, has
  • objects are arrows in $C$ with target $c$
  • arrows are arrows in $C$ making the obvious diagram commute.