11,029 reputation
2996
bio website ncatlab.org/nlab/show/…
location
age
visits member for 5 years, 7 months
seen 12 hours ago
I am a postdoc in maths with a degree in theoretical physics. I am interested in mathematical structures in quantum field theory and string theory, see here.

1d
awarded  Announcer
May
23
awarded  Announcer
May
21
awarded  Announcer
May
20
awarded  Good Answer
May
19
revised Differential operators are coKleisli morphisms of the jet co-monad
fixed "inverse image" to read "direct image"
May
15
comment higher Eilenberg-Moore-toposes of left exact derived comonads
Excellent, thank you!
May
15
accepted higher Eilenberg-Moore-toposes of left exact derived comonads
May
15
awarded  Announcer
May
15
comment higher Eilenberg-Moore-toposes of left exact derived comonads
maybe with section 6.3 of Riehl-Verity 13 ncatlab.org/nlab/show/(infinity,1)-monad#RiehlVerity13 Unfortunately, I am still in a rush now to receive a guest, will come back to this a little later.
May
15
revised Differential operators are coKleisli morphisms of the jet co-monad
deleted 2 characters in body
May
15
awarded  Nice Question
May
15
revised Differential operators are coKleisli morphisms of the jet co-monad
added 63 characters in body
May
15
answered Differential operators are coKleisli morphisms of the jet co-monad
May
15
comment higher Eilenberg-Moore-toposes of left exact derived comonads
Thanks. You mean "do you know if" rather than "do you know that", right? Am in a rush now, will check later.
May
14
revised higher Eilenberg-Moore-toposes of left exact derived comonads
added 1 character in body
May
14
asked higher Eilenberg-Moore-toposes of left exact derived comonads
May
13
comment Differential operators are coKleisli morphisms of the jet co-monad
@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
comment Differential operators are coKleisli morphisms of the jet co-monad
more and earlier discussion is in Marvan 86 ncatlab.org/nlab/show/jet+comonad#Marvan86
May
12
comment Differential operators are coKleisli morphisms of the jet co-monad
found one place where the statement is explicit: Marvan 93, section 1.1 ncatlab.org/nlab/show/differential%20operator#Marvan93
May
12
revised Differential operators are coKleisli morphisms of the jet co-monad
deleted 2 characters in body; edited title