> [!definition] > > Let $\catc$ be a [[Category|category]]. An object $P \in \obj{\catc}$ is **universally attracting** if there exists a unique morphism from each object into $P$, and is **universally repelling** if there exists a unique morphism from $P$ to each object in $\catc$.