Timeline for A Question on Auto-Adjoint functors
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 3, 2012 at 22:07 | comment | added | Tom Leinster | Next question: suppose we have a functor $F$ that's self-adjoint on the right. Is it always possible to choose an adjunction between $F$ and $F^{op}$ in which the unit is the same as the counit? (Todd's example doesn't settle it, since we could take both unit and counit to be 1.) I can't quite be bothered to pose this formally as a Question, partly because I haven't spent long enough thinking about it -- maybe it's an easy "yes". But anyone else should feel free. | |
| Sep 3, 2012 at 21:16 | comment | added | Buschi Sergio | Thank you very much. I thinked this problem about the definition of category with duality of "QUadratic and Hermitian Forms over Rings" by Max-ALbert Knus. | |
| Sep 3, 2012 at 13:37 | comment | added | Tom Leinster | Nice example! | |
| Sep 3, 2012 at 13:21 | history | undeleted | Todd Trimble | ||
| Sep 3, 2012 at 13:21 | history | edited | Todd Trimble | CC BY-SA 3.0 |
deleted 623 characters in body
|
| Sep 3, 2012 at 12:51 | history | deleted | Todd Trimble | ||
| Sep 3, 2012 at 12:42 | history | answered | Todd Trimble | CC BY-SA 3.0 |