2000 character limit reached
Dual tangent structures for infinity-toposes (2101.08805v1)
Published 21 Jan 2021 in math.CT and math.AT
Abstract: We describe dual notions of tangent bundle for an infinity-topos, each underlying a tangent infinity-category in the sense of Bauer, Burke and the author. One of those notions is Lurie's tangent bundle functor for presentable infinity-categories, and the other is its adjoint. We calculate that adjoint for injective infinity-toposes, where it is given by applying Lurie's tangent bundle on infinity-categories of points.
