The adjoint-functors tag has no usage guidance.

**7**

votes

**0**answers

314 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

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

**5**

votes

**0**answers

773 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

175 views

### Map of adjunctions

The following question must have been asked dozens of times, but I do not recall any non-trivial results.
Consider an adjoint square where the arrows indicate directions of $F, G, H, K$.
...

**3**

votes

**0**answers

85 views

### Cofree Lie Coalgebra

I have problems finding anything about the cofree Lie coalgebra functor
$\mathcal{L}ie^c$ out there.
Basically all I found was that it appears in Harrison cohomology and that,
given a ...

**3**

votes

**0**answers

197 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

72 views

### Notions of/References for freely generated (symmetric) monoidal categories

We often describe a category by giving a (directed, multi-)graph and freely generating a category of paths. I would like to know to what degree this intuition generalizes to monoidal categories, and ...

**0**

votes

**0**answers

47 views

### About cartesian closure of lax.functors categories

Let $\mathscr{A}$ a category and $F, G, H: \mathscr{A}^{op}\to CAT$ lax.functors. I wish find a possible "natural correspondence" between categories: $[F\times G, H]_O \leftrightarrow [F, H^G]_O$ ...