The adjoint-functors tag has no wiki summary.

**7**

votes

**0**answers

285 views

### bar-cobar or cobar-bar

What is the standard or best reference for the adjointnes of bar and cobar constructions?

**5**

votes

**0**answers

286 views

### Constructing pointwise Kan extensions as adjoints to some functor

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 ...

**4**

votes

**0**answers

696 views

### Proving the Special Adjoint Functor Theorem from the general Adjoint Functor Theorem

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 ...

**3**

votes

**0**answers

152 views

### 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 ...

**2**

votes

**0**answers

203 views

### Are the only universal (co-)universal conditions (co-)limits?

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 ...

**1**

vote

**0**answers

68 views

### Are the pullback functors of adjoint functors also adjoint?

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 ...