Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 21st 2018

    Added another reference.

    I was chatting with Robin Cockett yesterday at SYCO1. In a talk Robin claims to be after

    The algebraic/categorical foundations for differential calculus and differential geometry.

    It would be good to see how this approach compares with differential cohesive HoTT.

    diff, v5, current

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 21st 2018

    Added another paper from this approach

    in this paper we are interested in determining how to define differential forms, their exterior derivative, and the resulting cochain complex of de Rham in an arbitrary tangent category.However, to do so requires a close inspection of the nature of differential forms. This inspection reveals an interesting structure, a simplicial object of sector forms, of which de Rham cohomology can be seen as a simple consequence.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 21st 2018

    Re #1, that’s a remarkable claim to make after some decades of SDG.

    I don’t have a feeling yet for what these developments are really aiming for.

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 21st 2018

    Re the latter sentence of #3, it seems that this difficulty is mutually felt.

    I wonder if

    • Poon Leung, Classifying tangent structures using Weil algebras, Theory and Applications of Categories, 32(9):286–337, 2017, (tac)

    could help with translation. It is argued there that to give a tangent structure on a category MM is to give a functor for (some subcategory) of the category of Weil algebras (in the Artin algebra sense) to the endofunctor category [M,M][M, M].

    • CommentRowNumber5.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 22nd 2019

    Hi, I work with tangent bundle categories and would like to fill out nLab page - maybe this could help bridge the gap. The tangent bundle category approach mostly grew out of studying categorical models of Linear Logic: once you start thinking about the “linear approximation” of a proof !(A)B!(A) \to B, you end up with something that models differential calculus (differential linear logic, the differential lambda calculus, differential and cartesian differential categories). It’s fairly surprising that this leads you back to synthetic differential geometry/the Weil functor approach to differential geometry.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMar 23rd 2019

    I work with tangent bundle categories and would like to fill out nLab page

    Please feel invited to! Just hit “edit” at the bottom of the page and get going. Syntax is fairly straightforward, let us know if you have questions. And at first go, not to worry about anything coming out right or not, we will help with the formatting.

    once you start thinking about the “linear approximation” of a proof !(A)B!(A) \to B, you end up with something that models differential calculus

    Around here we think of this in terms of dependent linear type theory with categorical semantics in indexed monoidal (∞,1)-categories, see at Exponential modality and Fock space.

    The canonical such semantic model are tangent (∞,1)-categories in the sense of Lurie. Notice that this is terminology introduced indepdently (and I think earlier) than the tangent categories that you are referring, to – but luckily the concepts are actuall very close to each other.

    One way to formalize this close conceptual relation to is observe that tangent (∞,1)-categories are “infinitesimal cohesive (∞,1)-toposes”, see there.

    • CommentRowNumber7.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 24th 2019

    I’ve added the classical definition of a tangent category. I will add the actegory and enriched versions shortly, but I have included some references related to the two approaches.

    diff, v9, current

    • CommentRowNumber8.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 24th 2019

    I’ve added the classical definition of a tangent category. I will add the actegory and enriched versions shortly, but I have included some references related to the two approaches.

    diff, v9, current

    • CommentRowNumber9.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 24th 2019

    I’ve added the classical definition of a tangent category. I will add the actegory and enriched versions shortly, but I have included some references related to the two approaches.

    diff, v9, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMar 24th 2019
    • (edited Mar 24th 2019)

    Thanks!

    Your last pullback diagram currently is lacking its left vertical arrow.

    • CommentRowNumber11.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 24th 2019

    Thanks for catching that! Also, I’m very sorry about the multiple posts there, I’m still getting the hang of this.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMar 24th 2019

    BTW, regarding the naming issue in the first lines of the entry: the logical term for what this entry describes would have been “category of spaces with tangent bundles”, or maybe less precisely but more catchy: “category of tangent bundles”. The other concept otoh, does logically deserve to be called “tangent category”.

    • CommentRowNumber13.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 25th 2019

    I think the naming convention came from “a category equipped with a tangent structure is a tangent category”, which is similar to how you might see a monoidal category or restriction category defined. I can see how “the tangent category of 𝕏\mathbb{X}” could be more intuitive.

    I think there has been some success connecting the two definitions, based on the BJORT paper (at least at the level of functor calculus).

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMar 25th 2019

    I don’t get the feeling that you picked up the point I was making on terminology. But it’s not important. And too late anyways! :-)

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeMar 25th 2019

    The other concept otoh, does logically deserve to be called “tangent category”.

    Actually, when I spoke to Eric Finster about this at the modal HoTT workshop, he suggested that the (,1)(\infty,1)-topos of parametrized spectra (the “tangent (,1)(\infty,1)-category” of Gpd\infty Gpd) ought rather to be considered analogous to the formal discs 𝔻\mathbb{D} of infinitesimals in SDG, so that the actual “tangent bundle” of a topos would be obtained by exponentiating with it.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMar 25th 2019

    I see. Right, that makes good sense.

    • CommentRowNumber17.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 26th 2019

    I added the actegory definition of a tangent category. To simplify the construction, I restricted to the case where tangent categories have negatives.

    diff, v12, current

    • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 27th 2019

    Re #15, is that related to the exponential/logarithm talk at Goodwillie calculus, from around

    the Goodwillie tower is the homotopy theoretic analog of logarithmic expansion, rather than of Taylor series ?

    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTimeMar 27th 2019

    I dunno. I’m never sure how seriously to take these analogies.

    • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 27th 2019

    That comment is from a paper by Eric’s supervisor, Greg Arone, so maybe he takes it seriously.

    • CommentRowNumber21.
    • CommentAuthorBenMacAdam
    • CommentTimeMar 28th 2019

    Hi, my collaborator Jonathan Gallagher will also be contributing to tangent bundle categories. He’s liked Felix Wellen’s thesis, and has thought about how it relates to tangent bundle categories.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeNov 27th 2021

    as noticed here, this entry was not rendering, instead showing an (unintelligible) error message.

    I have fixed it now: The problem was indented tikzcd diagrams.

    (See the current Sandbox for a minimal (non-)working example of this bug).

    Namely, in general our tikz-functionality is, currently, an alien add-on which does not play along with the ambient Instiki code.

    The only way (as far as I am aware) to display tikzcd in nnLab pages is as stand-alone environments whose lines \begin{tikzcd} and \end{tikzcd} are aligned to the abosolute left.

    If coded like so, the tikzcd-content displays, but of course it now breaks all numered item lists that it may be sitting in. I have worked around this in the entry by making a bullet-item list with manual numbering added.

    diff, v19, current

    • CommentRowNumber23.
    • CommentAuthorBryceClarke
    • CommentTimeJan 17th 2023

    Added the reference * Geoff Cruttwell and Jean-Simon Lemay, Tangent categories as a bridge between differential geometry and algebraic geometry, 2023. (arXiv:2301.05542)

    diff, v21, current

    • CommentRowNumber24.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 19th 2023

    Added references to Ching et al.’s extension of tangent bundle categories to (,1)(\infty, 1)-categories.

    diff, v22, current