Timeline for It looks so coKleisli, but it's not. What is it?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 15, 2019 at 22:36 | answer | added | John Gowers | timeline score: 4 | |
| Jun 5, 2015 at 5:07 | answer | added | Mike Shulman | timeline score: 5 | |
| Jan 4, 2014 at 10:01 | answer | added | AAK | timeline score: 1 | |
| Jan 2, 2014 at 21:38 | comment | added | David Spivak | Michal, I really mean that $M'$ is a discrete monoidal category and I have a strict (or strong) monoidal functor $S: M'\to M$. I don't actually care whether or not $S$ is an inclusion. | |
| Jan 2, 2014 at 21:37 | comment | added | David Spivak | Adeel, yes it sounds like their "orbit categories" are what I had in mind, though I want to allow many $X$'s. So, thanks! Any interest in writing it up with a reference (for posterity), so I can consider the question answered? | |
| Jan 2, 2014 at 18:44 | comment | added | Michal R. Przybylek | David, what do you mean by "discrete monoidal subcategory"? | |
| Jan 2, 2014 at 9:07 | comment | added | AAK | This is close to the orbit category, appearing in works of Keller and Tabuada. When $M'$ is the full subcategory spanned by the objects $X^{\otimes n}$ for some fixed $X$ and for all $n \in \mathbf{Z}$, this is the orbit category of $M$ with respect to the auto-equivalence $- \otimes X$. | |
| Jan 2, 2014 at 6:07 | comment | added | Will Jagy | This was the closest thing Google found: wtvr.com/2013/12/09/morgan-freeman-picture | |
| Jan 2, 2014 at 5:56 | history | edited | David Spivak | CC BY-SA 3.0 |
added "symmetric".
|
| Jan 2, 2014 at 5:35 | history | asked | David Spivak | CC BY-SA 3.0 |