Timeline for Strictifying monoidal 2-functors
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 11, 2021 at 13:05 | comment | added | Simon Henry | Right, so strict monoid for the (pseudo-)Gray tensor product. My intuitive impression is that the result you are after is true for these, but might be false for stricit monoid in the sense of the cartesian monoidal structure, but I don't know a reference. I'll think about it. | |
| Apr 11, 2021 at 5:21 | comment | added | JeCl | That's a good point; I was really thinking about Gray monoids, i.e. the underlying 2-category is strict and the tensor product is cubical (and a bunch of natural transformations are identites). | |
| Apr 9, 2021 at 15:19 | comment | added | Simon Henry | By "strict monoidal 2-category" do you mean a "strictly monoidal strict 2-category", i.e. a monoid object in the category of 2-category. i.e. it has both strict composition in dimension 1 and a strictly associative and unital tensor product which is a strict 2-functor ? or part of the structure is assumed to be weak ? | |
| Apr 9, 2021 at 14:54 | history | edited | Mike Shulman |
edited tags
|
|
| Apr 9, 2021 at 7:49 | history | asked | JeCl | CC BY-SA 4.0 |