Timeline for Inducing a Monoidal Structure using an Equivalence of Categories [closed]
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 13, 2014 at 0:34 | history | closed | S. Carnahan♦ | Not suitable for this site | |
| Jun 13, 2014 at 0:34 | comment | added | S. Carnahan♦ | This is a basic exercise, so it needs no reference. | |
| Jun 12, 2014 at 20:53 | answer | added | user62675 | timeline score: 4 | |
| Jun 3, 2014 at 12:00 | comment | added | Martin Brandenburg | I would say that this follows from a very general principle that every good structure in category theory transports via equivalences of categories. Here, good means that we are not allowed to say "nonsense" such as that two objects are equal (but only isomorphic via some specific isomorphism). | |
| May 28, 2014 at 12:02 | comment | added | john | If I recall correctly the result about transport of pseudoalgebra structure can be found in ``Monoidal functors generated by adjunctions, with applications to transport of structure." by Kelly and Lack. I can't get my hands of the paper but the review on MathSciNet puts it as Prop 6.1 of that paper. I doubt this is great as a standard reference for that fact because it is quite a basic thing, but studied there as a special case of something more complex. It might have appeared earlier too. | |
| May 27, 2014 at 19:49 | comment | added | Zhen Lin | Yes, it is clear. I doubt the details are written explicitly anywhere, but it is a special case of a much more general result about pseudo-algebras for a 2-monad (also, sadly, not in the literature). | |
| May 27, 2014 at 19:25 | review | First posts | |||
| May 27, 2014 at 19:51 | |||||
| May 27, 2014 at 19:09 | history | asked | Andrea Pena | CC BY-SA 3.0 |