Category Objects as functors Let π’ be a category. It is often useful to view an object π βObβ‘π’ as a functor (or diagram) from the single-object trivial category π£, so Λπ:π£βπ’ββ¦π See also objects as identities. tidy | en | SemBr