# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeJul 17th 2013

Added some examples to comonadic functor. Prompted by this MO discussion (does anyone know how such monadic-comonadic iterations are referred to in the literature?).

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeSep 16th 2015

I added an example concerning modalities. We should also be able to tell a similar story for the jet comonad.

I should think the trio – monadic functor, comonadic functor, monadicity theorem – could be integrated better.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeSep 16th 2015

Thanks David. I have added to the section statements that are at least sufficient to conclude that $EM(\Box_W) \simeq \mathbf{H}_{/\ast}$, namely that $\mathbf{H}$ is a topos and $W$ is inhabited.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeSep 16th 2015

and then I have edited the text a little, trying to polish a bit more, please check if you agree.

• CommentRowNumber5.
• CommentAuthorDavid_Corfield
• CommentTimeSep 16th 2015
• (edited Sep 16th 2015)

Looking good.

So the PDE case should go through in a similar way? Perhaps in explicit terms of SDG infinitesimals. Instead of the

$\prod_W (Q) = \Gamma_W(Q)$

we need something like sections of the infinitesimal neighborhood of a point. Then base change that back. I guess that requires the language of jets.

And then the coalgebras are the ones that come from base change of bundles on $\Im(X)$? That seems to be multiplying points by infinitesimal neighborhoods.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeSep 16th 2015

Yes, dependent product along a general morphism $X \longrightarrow Y$ produces “spaces-of-sections-pointwise-over-$Y$”. And, yes, since the de Rham stack projectiuon $\Sigma \to \Im \Sigma$ is a 1-epi, jet coalgebras over $\Sigma$ are equivalently objects in the slice over $\Im \Sigma$. (In algebraic geometry these are the D-modules).

• CommentRowNumber7.
• CommentAuthorDavid_Corfield
• CommentTimeSep 27th 2018

According to Todd here, when a monad is left adjoint to a comonad, then the algebras of the former are equivalent to the coalgebras of the latter. So the jet coalgebras in #6 are the same as ’infinitesimal neighborhood’ algebras, necessity coalgebras (#3) as possibility algebras, etc., right?

• CommentRowNumber8.
• CommentAuthorDavid_Corfield
• CommentTimeSep 27th 2018
• (edited Sep 27th 2018)

This is quite a nice way to picture things: A possibility algebra/necessity coalgebra, $A \in \mathbf{H}/W$, requires a map, $\sum_W A \to \prod_W A$. Given a point in the total space, we need a section through that point.