Timeline for Differential operators are coKleisli morphisms of the jet co-monad
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 5, 2016 at 0:29 | vote | accept | Urs Schreiber | ||
| May 15, 2015 at 11:21 | answer | added | Urs Schreiber | timeline score: 13 | |
| May 13, 2015 at 19:59 | comment | added | Urs Schreiber | @PeterLeFanuLumsdaine, one might think so, but I don't see that it is the case. In Kock 80 ncatlab.org/nlab/show/infinitesimal+disk+bundle#Kock80 the jet bundle functor is discussed synthetically and prop. 2.2 there observes that it is right adjoint to the infinitesimal disk bundle functor. In terms of base change along i : X --> X_dR this is the adjunction i^* i_! -| i^* i_* between the induced monad and comonad, but the article by Kock does not observe this. | |
| May 13, 2015 at 17:34 | history | edited | Todd Trimble |
added a tag
|
|
| May 13, 2015 at 17:29 | answer | added | David Ben-Zvi | timeline score: 11 | |
| May 13, 2015 at 16:47 | comment | added | Peter LeFanu Lumsdaine | I would expect this might appear in the synthetic differential geometry literature? | |
| May 13, 2015 at 11:28 | comment | added | Urs Schreiber | more and earlier discussion is in Marvan 86 ncatlab.org/nlab/show/jet+comonad#Marvan86 | |
| May 12, 2015 at 20:07 | comment | added | Urs Schreiber | found one place where the statement is explicit: Marvan 93, section 1.1 ncatlab.org/nlab/show/differential%20operator#Marvan93 | |
| May 12, 2015 at 16:48 | history | edited | Urs Schreiber | CC BY-SA 3.0 |
deleted 2 characters in body; edited title
|
| May 12, 2015 at 16:40 | history | asked | Urs Schreiber | CC BY-SA 3.0 |