Timeline for higher Eilenberg-Moore-toposes of left exact derived comonads
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 15, 2015 at 17:58 | vote | accept | Urs Schreiber | ||
| May 15, 2015 at 14:25 | answer | added | Marc Hoyois | timeline score: 3 | |
| May 15, 2015 at 13:35 | comment | added | Marc Hoyois | Indeed, Theorem 6.3.8 does the trick! So coalgebras satisfy descent, but do they form an accessible ∞-category? | |
| May 15, 2015 at 12:09 | comment | added | Urs Schreiber | maybe with section 6.3 of Riehl-Verity 13 ncatlab.org/nlab/show/(infinity,1)-monad#RiehlVerity13 Unfortunately, I am still in a rush now to receive a guest, will come back to this a little later. | |
| May 15, 2015 at 11:59 | comment | added | Marc Hoyois | Yes, sorry, that's what I meant. The reflection part follows from conservativity of the forgetful functor, which is left adjoint, so I think the only thing to check is the preservation of pullbacks. | |
| May 15, 2015 at 6:53 | comment | added | Urs Schreiber | Thanks. You mean "do you know if" rather than "do you know that", right? Am in a rush now, will check later. | |
| May 14, 2015 at 22:06 | comment | added | Marc Hoyois | Do you know that the forgetful functor from coalgebras preserves and reflects colimits and pullbacks? If so, the characterization of ∞-topoi by descent (prop 3 here) immediately implies that coalgebras form an ∞-topos. | |
| May 14, 2015 at 19:59 | history | edited | Urs Schreiber | CC BY-SA 3.0 |
added 1 character in body
|
| May 14, 2015 at 19:20 | history | asked | Urs Schreiber | CC BY-SA 3.0 |