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 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 sheaves 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.
    • CommentAuthorTim_Porter
    • CommentTimeMar 31st 2020

    Added a webpage link.

    diff, v10, current

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 8th 2021

    Removed broken website link. Added ’Emeritus’ status.

    diff, v17, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 8th 2021

    It seems sad to state nothing but employment status of a person, which is the least of interest to us here, unless you happen to be the one paying them. If you have the energy to edit, why not add a word on the person as a researcher.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeOct 8th 2021

    I have added a little summary of some of his work. It could include more but I have tried to link to the fuller entries rather than put a lot here.

    diff, v19, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 8th 2021

    Thanks! I have replaced your “infinity category theory” by “omega-category theory”, but then slightly expanded the following sentence like so:

    More recently he has worked with Emily Riehl on foundations of \infty-category theory seen through their homotopy 2-category, and using the concept of ∞-cosmoi to capture common structure of different presentations of \infty-categories.

    diff, v20, current

    • CommentRowNumber6.
    • CommentAuthorvarkor
    • CommentTimeOct 8th 2021

    Replaced “\infty-category theory” with “(,1)(\infty, 1)-category theory”; it does not seem appropriate to abbreviate here, as it will surely lead to confusion. (More generally, I think one should prefer to avoid “omega-category”: I believe Tom Leinster had a pertinent comment on the n-Category Café on this topic, but I can’t find it now.)

    diff, v21, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 8th 2021

    Replaced “\infty-category theory” with “(,1)(\infty, 1)-category theory”; it does not seem appropriate to abbreviate here

    True, thanks.

    one should prefer to avoid “omega-category”

    But that’s how these authors, following the John Roberts that is mentioned in the sentence, tended to refer to their own subject.

    • CommentRowNumber8.
    • CommentAuthorjweinberger
    • CommentTimeOct 8th 2021
    • (edited Oct 8th 2021)

    Replaced “\infty-category theory” with “(,1)(\infty, 1)-category theory”; it does not seem appropriate to abbreviate here, as it will surely lead to confusion.

    The theory is not just about (,1)(\infty, 1)-categories though. Rather, \infty-cosmoses are formed by models for (,n)(\infty, n)-categories for all 0n0 \le n \le \infty, which is part of what motivates this program today. So claiming the theory is about foundations of (,1)(\infty, 1)-category theory specifically seems like a reduction to me. (Even though this is certainly an important specialization.) If one wants to avoid notational confusion, why not write e.g. “(weak) higher categories”? (To say more about the terminology initially used, in this specific context, “\infty-category” is just the name for the objects of a given \infty-cosmos, which could in the specific instances mean [certain models of] (,1)(\infty, 1)-categories, cartesian fibrations thereof, (,2)(\infty, 2)-categories, \infty-groupoids, or simply 11-categories…)

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeOct 8th 2021

    There is no claim here – we just added a kind note briefly indicating a colleague’s research.

    Be our guest, hit “edit” and expand to your heart’s content! But it sounds like your comment would best fit into the Idea-section at infinity-cosmos.

    • CommentRowNumber10.
    • CommentAuthorTim_Porter
    • CommentTimeOct 8th 2021

    Added cross link to infinity-cosmos under Related Entries.

    diff, v22, current

    • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeOct 8th 2021

    Looking at the entry infinity-cosmos, it could perhaps do with some more content, and it would be useful if someone could include more detail on what the theory gives one.