What is the standard or best reference for the adjointnes of bar and cobar constructions?
Background I'm working on formalizing some category theory in Coq at https://bitbucket.org/JasonGross/catdb. Currently, I'm in the process of formalizing pointwise Kan extensions. Partly because ...
Often, when dealing with adjoint functor theorems, people go about proving each one separately, from first principles if you will (this is the course taken in MacLane). However, the names suggest ...
Do generalizations of adjoint functors, such as adjunctions in 2-categories, and multivariable adjunctions, have formulations in terms of something like universal morphisms?
I recently learned about two-variable adjunctions and multi-variable adjunctions, and about adjunctions in 2-categories. The nCatLab page on two-variable adjunctions talks about how to go from the ...
Reading this title, you may have thought there was a typo, but there isn't (well I don't think there is at least!). This question arises from a definition I formulated recently, and would like to ...
Given adjoint functors $F: A \to B$, $G: B \to A$, if you then take their pullback functors $F^* : Set^B \to Set^A$ and $G^* : Set^A \to Set^B$ given by pre-composition, are these two also adjoint ...