{"id":"arxiv/2604.16016","url":"https://arxiv.org/abs/2604.16016","tags":["math.CT","cs.LO"],"score":0,"title":"Extracting an $\\mathbb{N}$-filtered differential modality from a differential modality","domain":"math.CT","source":"arxiv","authors":["Jean-Baptiste Vienney"],"reviews":0,"subject":"math.CT","summary":"A differential modality is a comonad on an additive symmetric monoidal category $(\\mathsf{C},\\otimes,I)$, whose underlying functor we denote $!\\colon\\mathsf{C} \\rightarrow \\mathsf{C}$, together with some additional structure including a differential operator $\\partial\\colon!A \\otimes A \\rightarrow !A$. A morphism $f\\colon !A \\rightarrow B$ is interpreted as a smooth function from $A$ to $B$. The notion of an $\\mathbb{N}$-filtered differential modality is a variant in which a notion of degree is present. Instead of a single functor $!\\colon \\mathsf{C} \\rightarrow \\mathsf{C}$, we ask for a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-17","reactions":{}}