Timeline for Adjunctions form a stack
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 28, 2011 at 16:40 | comment | added | Mike Shulman | Just to connect this up to the other answers, this is exactly the "Beck-Chevalley" condition referred to in Finn's comment. Also, the Beck-Chevalley transformation one asks to be an isomorphism is exactly the (co)lax structure on the adjoint which arises automatically from doctrinal adjunction. | |
| Jun 28, 2011 at 0:45 | history | answered | David Carchedi | CC BY-SA 3.0 |