👩💻 Join our community of thousands of amazing developers!
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 [...]...