Timeline for Is there lore about how endofunctors of Cat interact with the formation of presheaf categories?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5, 2022 at 13:27 | comment | added | varkor | @DavidCarchedi: the algebras for the small-cocompletion pseudomonad on $\mathbf{CAT}$ are locally-small categories with small colimits. | |
| Apr 2, 2010 at 14:57 | comment | added | David Carchedi | What are algebras for this monad? | |
| Mar 10, 2010 at 18:15 | comment | added | Charles Rezk | Incidentally, it is tempting to calculate $V$ in the case $\Xi=PSh$; this is illicit in the way I set things up, but maybe not with your suggestion. Anyway, if you run the formula, then $V$ takes a functor $G: PSh(C)^{op}\to Set$ to the "closest available" representable functor $Psh(C)^{op}\to Set$, i.e., the one represented by $GF$, where $F: C\to Psh(C)$ is Yoneda. | |
| Mar 10, 2010 at 18:11 | comment | added | Charles Rezk | That is an interesting thought. | |
| Mar 10, 2010 at 18:01 | history | answered | Tom Leinster | CC BY-SA 2.5 |