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 complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 nforum 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.
    • CommentAuthorUrs
    • CommentTimeMar 19th 2010

    I rewrote the few sentences at tangent (infinity,1)-category in an attempt to make it run more smoothly.

    In any case, there is not much there yet...

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 19th 2010

    rephrased the text still a bit more

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 11th 2013

    added the statement about the characterization of \infty-(co-)limits in an tangent \infty-category.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 18th 2013
    • (edited Jun 18th 2013)

    added an explicit remark (with pointers to the proof) that that tangent category fibration is classified under \infty-Grothendieck construction by

    cStab(𝒞 /c). c \mapsto Stab(\mathcal{C}_{/c}) \,.
    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 18th 2013
    • (edited Jun 18th 2013)

    As announced in another thread, I started typing some remark on the tangent \infty-category of an \infty-topos here.

    I had planned to do more, but then the nnLab was down all the time. Now I need to quit, so it remains a bit unsatisfactory. But maybe it’s still a start for anyone interested to join in and play with.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 19th 2013

    So what are the tangent \infty-categories to ETop\inftyGrpd, Smooth\inftyGrpd, SynthDiff\inftyGrpd, Super\inftyGrpd, and SmoothSuper\inftyGrpd? Are there smooth spectra?

    The most rapid of searches yields a paper by Bunke – Differential cohomology

    These course note first provide an introduction to secondary characteristic classes and differential cohomology. They continue with a presentation of a stable homotopy theoretic approach to the theory of differential extensions of generalized cohomology theories including products and Umkehr maps.

    The ’differential function spectra’ there reappear in Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 19th 2013
    • (edited Jun 19th 2013)

    See at differential function complexes on the nnLab. This is the method by which Hopkins-Singer in Quadratic Functions in Geometry, Topology, and M-Theory produced differential refinements of generalized cohomology theories.

    In cohesion there is a canonical way to produce these “homotopy fibers of Chern-characters” and hence differential cohomology, whence the name “differential cohomology in cohesive \infty-toposes”.

    Without an explicit notion of spectra of course, in cohesion one can only take one abelian infinity-group GG (infinite loop space) at a time and produce its differential cohomology BG conn\mathbf{B}G_{conn} (actually a braided infinity-group is sufficient for the canonical construction).

    When we get stable objects into the game, for instance by showing that the tangent \infty-category T(SmoothGrpd)T(Smooth\infty Grpd) is again an \infty-topos and hence (by the above note) a cohesive \infty-topos, then the full range of stable homotopy constructions would be available more intrinsically, not just piecewise by each of its underlying infinite loop spaces/abelian \infty-groups

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 19th 2013

    So when is the tangent to an \infty-topos again an \infty-topos? Do you think it likely that T(SmoothGrpd)T(Smooth\infty Grpd) is an \infty-topos?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 19th 2013

    So when is the tangent to an ∞-topos again an ∞-topos?

    Yes, that’s the big question here.

    André Joyal told me he has a theory of what he calls “loci”, I think, that can answer this question for a given \infty-topos. But I don’t know yet. I should check.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 19th 2013

    Do you have a hunch about the “big question”? Is it more likely to hold for a cohesive \infinity-topos?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 19th 2013

    I really don’t know. But I’ll try to find out.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeJun 20th 2013

    My understanding of the theory of ’loci’ was that it addresses the dual question, namely when is the category of families of objects of some category a topos.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2013
    • (edited Oct 20th 2013)

    I have added pointers to the alternative discussion in terms of excisive functors here. Should eventually be further expanded.

    • CommentRowNumber14.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 20th 2013

    At Stable extension ofcohesion, where it says

    Ω tot:T\Omega^{\infty} \circ tot:T H \to H assigns the total space of a spectrum bundle;

    its left adjoint is the tangent complex functor;

    shouldn’t ’tot’ be ’dom’ and ’tangent’ be ’cotangent’, or is this some other construction?

    Is there a ’co-jet’ complex?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeOct 21st 2013
    • (edited Oct 21st 2013)

    This is the same construction that Jacob Lurie considers in the article on deformation theory.

    But here we do need to call it differently: because in Lurie’s article the category 𝒞\mathcal{C} of which one considers the tangent \infty-category T𝒞T \mathcal{C} is thought of as a category of algebras, whereas we are now speaking about taking the tangent \infty-category of a category of spaces. In the present context 𝒞=H op\mathcal{C} = \mathbf{H}^{op}.

    Therefore “tangent complex” instead of “co-tangent complex”.

    Secondly, concerning “dom” and “tot”: this is the same functor, but I find it more descriptive to speak of the functor that assigns the total space of a bundle (which is a description of its meaning) than to speak of the domain functor (which is a description only of one specific way of constructing this functor, and in fact not the way which is used in the subsection where the term appears)-

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 13th 2015
    • (edited Dec 13th 2015)

    If there’s differential cohesion available, is it possible to form the tangent (∞,1)-category by means of the modalities &\Re \dashv \Im \dashv \&?

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeDec 14th 2015

    Recall that a tangent \infty-topos is internally witnessed as being infinitesimally cohesive over the base, see here.

    • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 14th 2015
    • (edited Dec 15th 2015)

    I’m not sure I know what “internally witnessed” means there. I was just having a look at Quantization via Linear homotopy types and reading the definition:

    For XHX \in \mathbf{H} then Mod(X)Mod(X) are the ∗/-modal types in H /X\mathbf{H}_{/X} which are left orthogonal to \Im-modal types,

    and wondering if becomes easier to speak of the tangent at an object XHX \in \mathbf{H} with modalities such as \Im available, rather like I can give an easier account of the tangent space of a manifold MM in SDG as M DM^D, since I have infinitesimals available.

    • CommentRowNumber19.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 14th 2019

    A different sense of ’tangent ∞-category’?

    Tangent ∞-categories and Goodwillie calculus, Michael Ching, talk

    Goodwillie calculus is a set of tools in homotopy theory developed, to some extent, by analogy with ordinary differential calculus. The goal of this talk is to make that analogy precise by describing a common category-theoretic framework that includes both the calculus of smooth maps between manifolds, and Goodwillie calculus of functors, as examples. This framework is based on the notion of “tangent category” introduced first by Rosicky and recently developed by Cockett and Cruttwell in connection with models of differential calculus in logic, with the category of smooth manifolds as the motivating example. In joint work with Kristine Bauer and Matthew Burke (both at Calgary) we generalize to tangent structures on an (∞,2)-category and show that the (∞,2)-category of presentable ∞-categories possesses such a structure. This allows us to make precise, for example, the intuition that the ∞-category of spectra plays the role of the real line in Goodwillie calculus. As an application we show that Goodwillie’s definition of n-excisive functor can be recovered purely from the tangent structure in the same way that n-jets of smooth maps are in ordinary calculus. If time permits, I will suggest how other concepts from differential geometry, such as connections, may play out into the context of functor calculus.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2019

    Thanks for the alert. I have forwarded this to Vincent.

    • CommentRowNumber21.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 14th 2019

    Perhaps a few talks of interest there at Homotopy harnessing higher structures. I think you were looking at graph complexes and configuration spaces before Christmas:

    Configuration spaces of points and real Goodwillie-Weiss calculus, Thomas Willwacher, talk

    The manifold calculus of Goodwillie and Weiss proposes to reduce questions about embedding spaces of manifolds to questions about mapping spaces of the (little-disks modules of) configuration spaces of points on those manifolds. We will discuss real models for these configuration spaces. Furthermore, we will see that a real version of the aforementioned mapping spaces is computable in terms of graph complexes. In particular, this yields a new tool to study diffeomorphism groups and moduli spaces.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeMar 18th 2019

    added pointer to

    diff, v43, current

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJul 23rd 2019

    added pointer to

    diff, v44, current

    • CommentRowNumber24.
    • CommentAuthorDean
    • CommentTimeSep 5th 2020

    Maybe a tangent category T(C)T(C) is an infinitesimal path space object C DC^D, just like one considers the path space object Type I\text{Type}^I in type theory to get homotopies.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeSep 5th 2020

    One statement roughly in this direction is: A tangent \infty-topos is infinitesimally cohesive over its base (scroll down to the third example in the list there).

    That’s the property that was recently used by somebody in the HoTT community to axiomatize spectra via modal HoTT (around slide 18 here. (Of course not attributing it this way.)

    • CommentRowNumber26.
    • CommentAuthorDean
    • CommentTimeSep 5th 2020

    I also have the goal of making sense of a “map XSchemeX \rightarrow \text{Scheme} for a scheme XX, which sends infinitesimal intervals to infinitesimal intervals”. Such a map will glue via dependent sum to a smooth map, I think. This would also formalize the intuition of “continuously varying fibers”.

    x:XY(x):Schemex : X \vdash Y(x) : \text{Scheme} goes to x:XY(x):Scheme\sum_{x : X} Y(x) : \text{Scheme}, with the canonical map x:XY(x)X\sum_{x : X} Y(x) \rightarrow X being a smooth map; I intend the smooth maps to be the fibrations. The reason I expect this is that they satisfy the infinitesimal lifting property, which is exactly analogous to the path lifting property for fibrations.

    Anyhow, I understand you must be pretty busy. Thanks for all the time you’ve spent helping me with these “geometric type theory” ideas.

    • CommentRowNumber27.
    • CommentAuthorDean
    • CommentTimeSep 5th 2020
    • (edited Sep 6th 2020)

    Now I’m convinced that the right lifting property is against Red(X)X\text{Red}(X) \rightarrow X.

    For each XX, and each commutative triangle Red(X)YX=Red(X)X\text{Red}(X) \rightarrow Y \rightarrow X = \text{Red}(X) \rightarrow X with YXY \rightarrow X a fibration (smooth map), there is a retract XYX \rightarrow Y. That’s the same as being formally smooth.

    I just need to make sense of context extension. x:XY(x):Schemex : X \vdash Y(x) : \text{Scheme} should be a certain kind of sheaf that works well with reduction and glues to a smooth cover of XX. The property I want to require should also be analogous to univalence.

    • CommentRowNumber28.
    • CommentAuthorDean
    • CommentTimeSep 6th 2020
    • (edited Sep 6th 2020)

    I think I found the condition: it’s that (U red× XY) red(U× XY) red(U_{red} \times_X Y)_{red} \rightarrow (U \times_X Y)_{red} is an isomorphism.

    Take U:XF(U):SchemeU : X \vdash F(U) : \text{Scheme}. Infinitesimally close shapes/points UU redU \sim U_{red} are sent to infinitesimally close schemes F(U red)=U red× XYUtmes XY=F(U)F(U_{red}) = U_{red} \times_X Y \sim U \tmes_X Y = F(U) (their reductions are the same). This is gives us what the “univalence axiom” should be.

    • CommentRowNumber29.
    • CommentAuthorDean
    • CommentTimeSep 6th 2020

    Infinitesimal univalence says that infinitesimally close objects in Type\text{Type} are types whose reductions are the same.

    • CommentRowNumber30.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 21st 2021

    Something to follow up when I have a moment. A paper from the talk at #19

    • Kristine Bauer, Matthew Burke, Michael Ching, Tangent infinity-categories and Goodwillie calculus, (arXiv:2101.07819)
    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeJan 21st 2021

    Thanks. I have added it here.

    • CommentRowNumber32.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 21st 2021

    we might speculate on how the Goodwillie tangent structure fits into the much bigger programme of ‘higher differential geometry’ developed by Schreiber [Sch13, 4.1], or into the framework of homotopy type theory [Pro13],though we don’t have anything concrete to say about these possible connections.

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeJan 21st 2021

    Thanks for the pointer, I had not seen that.

    On the other hand, the observation that the tangent \infty-category of parametrized spectra is infinitesimally cohesive (dcct, Prop. 4.1.9) is used by Riley-Licata-Finster, around their slide 18. (Without any attribution, but then it’s not such a deep observation…)

    • CommentRowNumber34.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 21st 2021

    It would be good to get to see how all this work connects.

    • CommentRowNumber35.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 25th 2021

    Added

    Two further examples of tangent (,1)(\infty,1)-categories on (∞,1)-Topos and its opposite:

    diff, v47, current

    • CommentRowNumber36.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 25th 2021

    Added

    Two further examples of tangent (,1)(\infty,1)-categories on (∞,1)-Topos and its opposite:

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeJan 25th 2021

    Thanks for adding. But let me suggest that we need to change the wording:

    If I understand well (have only skimmed the articles) these recent articles talk about a notion of “tangent structure” on \infty-categories which subsumes the notion discussed on our page here (which they maybe call “Goodwillie tangent structure”), but has other examples, too.

    It is only in this sense that it makes sense to write articles on new examples for “tangent structures”, I suppose.

    So I think the line

    Two further examples of tangent (,1)(\infty,1)-categories

    needs to be changed to something like

    Two further examples of tangent structures on infinity-categories.

    That, or we need to change the title and content of this page here, generalizing it all appropriately. I guess the first option is less tedious.

    [edit: so I made that change in wording. But I don’t have the time now to do this any justice at the moment. Please feel invited to adjust this edit.]

    diff, v48, current

    • CommentRowNumber38.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 25th 2021

    I was just quoting from the paper

    The goal of this note is to introduce two further examples of tangent ∞-categories…

    So maybe better to choose the second option. But certainly no time at the moment.

    • CommentRowNumber39.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 10th 2021

    Some rewording to emphasise what’s different in

    diff, v49, current

    • CommentRowNumber40.
    • CommentAuthorDmitri Pavlov
    • CommentTimeFeb 11th 2021

    Redirect: tangent ∞-category.

    diff, v50, current

    • CommentRowNumber41.
    • CommentAuthorDmitri Pavlov
    • CommentTimeFeb 11th 2021

    Redirect: tangent ∞-category, tangent ∞-topos.

    diff, v50, current

    • CommentRowNumber42.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 12th 2021

    Re #25, and now the article has appeared:

    • Mitchell Riley, Eric Finster, Daniel R. Licata, Synthetic Spectra via a Monadic and Comonadic Modality, (arXiv:2102.04099)

    Hmm, that’s pretty outrageous not to have mentioned your work - dcct, Quantization via Linear homotopy types, etc.

    • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2021

    An nnLab entry stating their basic idea (here) exists since 2013 (rev 1).

    I had tried to advertize formalizing this in HoTT in Paris 2014. Back then the chairman (vv) shut down my talk after I mentioned Prop. 2.5, which he claimed was false. While that was silly and abusive of him, I can see how it was pointless to try to give that talk to that audience at that time. Maybe in 10 years from now I’ll try again.

    I think stable Cohomotopy – whose role in the scheme of things I didn’t appreciate back then – will lend itself to constructive formalization. So that might be a topic for 2031.

    • CommentRowNumber44.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 12th 2021

    The gulf between devising things and having them be taken up is vast, and without constantly being on the case of promoting them, it seems that credit often goes missing. I await 2050 when modal HoTT becomes everyday in analytic philosophy.

    • CommentRowNumber45.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 13th 2021

    Was the construction of taking the tangent (,1)(\infty, 1)-topos for the whole (,2)(\infty, 2)-category (∞,1)Topos ever considered around these parts?

    • CommentRowNumber46.
    • CommentAuthorRichard Williamson
    • CommentTimeFeb 13th 2021
    • (edited Feb 13th 2021)

    [Administrative note: I have merged this thread with one named ’tangent (oo,1)-category’, where most of the previous discussion had taken place; the present thread is the one which is picked up by the edit announcer. I took the liberty of deleting a comment of Urs’ suggesting that the present thread be used instead of the one named ’tangent (oo,1)-category’, since it would now be a bit confusing (and didn’t have other content that needed preserving).]

    • CommentRowNumber47.
    • CommentAuthorUrs
    • CommentTimeJul 12th 2022

    added publication data for:

    diff, v52, current

    • CommentRowNumber48.
    • CommentAuthorMike Shulman
    • CommentTimeAug 12th 2022

    Added a note that Tangent infinity-categories and Goodwillie calculus was withdrawn due to an error.

    diff, v54, current

    • CommentRowNumber49.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 19th 2023

    I removed the note

    As of August 2022, this paper is withdrawn due to an error; a corrected version appeared on 25 Feb 2023,

    since there appear to be no questions about the current version.

    diff, v59, current

    • CommentRowNumber50.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 19th 2023

    Added some clarification on the relationship to what Ching et al. are calling ’tangent ∞-categories’.

    diff, v60, current

    • CommentRowNumber51.
    • CommentAuthorUrs
    • CommentTimeAug 31st 2023

    added pointer to:

    diff, v61, current

    • CommentRowNumber52.
    • CommentAuthorperezl.alonso
    • CommentTimeAug 31st 2023

    Thanks for adding, wasn’t aware of the notion of a logos. Is this what ultimately should account for the Heisenberg/Schrodinger duality? I know in Quantum Certification via Linear Homotopy Types you mention this is supposed to be accounted for by using Bohr topoi but this sounds more natural.

    • CommentRowNumber53.
    • CommentAuthorUrs
    • CommentTimeAug 31st 2023

    What they refer to as topos/logos duality is not to do with physics much. Also it’s not all that new (the ambition towards evocative terminology is):

    The dual logical/algebraic perspective on spatial/geometric toposes dates all the way back to the conception of “elementary topoi” in the 1960s, and has been much expanded on at least in the case of (0,1)-toposes, where its the formal duality between frames (logical) and locales (spatial).

    For instance, there is an old notion of logical functor which conceptually, apart from some extra technical fine-print, is the kind of opposite map to a geometric morphism (“spatial functor”) that the Topo-logie is about.

    • CommentRowNumber54.
    • CommentAuthorperezl.alonso
    • CommentTimeAug 31st 2023

    Could be interesting to see what logos theory could be used for in e.g. 2307.15106, since up until when they take op to construct stacks, they’re basically using this (as in section 31 of Joyal’s notes). But some kind soul should first elaborate on the more basic things in logos.

    • CommentRowNumber55.
    • CommentAuthorUrs
    • CommentTimeSep 1st 2023

    I don’t think it’s useful to think of “logos theory” as a new theory that is waiting to be applied now where we only had topos theory before. (It’s defined just as the opposite category of topoi!)

    Instead it’s a suggestive perspective on the latter in some circumstances, and as such not quite new if maybe more pronounced now.

    (A move reminiscent of advertising “toposes as bridges”, if you have heard about that. After all, there is a good reason for Johnstone’s analogy between toposes and the proverbial elephant which is so huge and varied that blind men inspecting it from different ends may think they are dealing with different animals altogether.)

    • CommentRowNumber56.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 1st 2023

    Amplifying what Urs said in #53, from their new article

    • Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal, Left-exact Localizations of ∞-Topoi III: The Acyclic Product [arXiv:2308.15573]

    they write

    The structural analogy between the theories of topoi and rings is folkloric but underexploited. One goal of this work is to deepen and extend it.

    and

    imagine a version of algebraic geometry, where a ring AA is called a scheme, where the word ‘ring’ is never used, and where a morphism of schemes is denoted ABA \to B to mean a ring morphism BAB\to A. This is the current state of topos theory.