{"id":"arxiv/2601.15534","url":"https://arxiv.org/abs/2601.15534","tags":["math.CT"],"score":0,"title":"The formal theory of tangentads PART II","domain":"math.CT","source":"arxiv","authors":["Marcello Lanfranchi"],"reviews":0,"subject":"math.CT","summary":"Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functor, vector fields, Euclidean spaces, and vector bundles have been successfully generalized and internalized within tangent categories. Over the past decade, the theory has also been extended in several directions, yielding concepts such as tangent monads, tangent fibrations, tangent restriction categories, and reverse tangent categories. It is natural to wonder how these new flavours of the theory interact with the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-21","reactions":{}}