Timeline for Finitely presentable objects in the categories of algebras of $\infty$-algebraic theories
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 8 at 15:11 | comment | added | Arshak Aivazian | On the other hand, a description of finite presentable objects as retracts of simplicial colimits of finitely generated discrete free objects would also be useful to me. Could you suggest a reference to this? | |
| Feb 8 at 14:46 | comment | added | Arshak Aivazian | I don't yet understand in what sense your first paragraph is an example of the setting of my question. I am talking about finitary monads on the category of $\infty$-groupoids. A monad whose category of algebras are themselves $\infty$-groupoids, is the identity monad. And in this case, just all objects are free, aren’t they? | |
| Feb 8 at 14:41 | history | answered | Tim Campion | CC BY-SA 4.0 |