Adjoint Triples

1 · Edward Kmett · Jan. 14, 2016, 12:02 a.m.
A common occurrence in category theory is the adjoint triple. This is a pair of adjunctions relating three functors: F ⊣ G ⊣ H F ⊣ G, G ⊣ H Perhaps part of the reason they are so common is that (co)limits form one: colim ⊣ Δ ⊣ lim where Δ : C -> C^J is the diagonal functor, which [...]...