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.
    • CommentAuthorUrs
    • CommentTimeDec 8th 2009

    I edited Trimble n-category:

    • added table of contents

    • added hyperlinks

    • moved the query boxes that seemed to contain closed discussion to the bottom. I kept the query box where I ask for a section about category theory for Trimble n-categories, but maybe we want to remove that, too. Todd has more on this on his personal web.

  1. Added journal reference to Cheng-Leinster reference.

    Rongmin Lu

    diff, v29, current

    • CommentRowNumber3.
    • CommentAuthorpatrick_nicodemus1
    • CommentTimeJan 27th 2024
    • (edited Jan 27th 2024)
    Can somebody add to this article how we get the notion of morphisms between n-categories from this?
    One cannot define an n+1 category without understanding what is a morphism of n-categories, we need to fully define the symmetric monoidal category of n-categories before we can explain how P_n+1 acts on it.

    I think that the n-lab is a bit confusing here, as this related page https://ncatlab.org/nlab/show/Batanin+omega-category says:
    > The definition is similar to that of Trimble n-category (which is actually a special case of a Batanin ω-category) and similar to the definition of Grothendieck-Maltsiniotis infinity-category ... When a weak ∞-category is modeled as a module over an O-operad, morphisms of modules F:C→D will correspond to strict ∞ functors. To get weak ∞-functors one has to resolve C. One way to do this is described in (Garner).

    It would be easy to take away from this that, since Trimble n-categories are a special case of Batanin ω-categories, the naive definition of a morphism of Trimble n-categories that we write down will be a strict morphism of n-categories. However this would be problematic as the inductive definition of Trimble (n+1)-categories should be based on a category of n-categories and weak n-morphisms, so there has to be more to the story than this. The difference between weak and strong here first appears at n=2, I think, because a tricategory has a composition pseudofunctor Hom(A,B) x Hom(B, C) -> Hom(A, C).

    Edit: Never mind, sorry for the confusion. I skimmed Eugenia Cheng's paper "Comparing operadic theories of n-category" and I see that in fact the definition does rely on strict morphisms between n-categories. So, a tricategory is not a Trimble 3-category, although a bicategory is a Trimble 2-category, I basically assumed that the definition was intended to subsume bicategories, tricategories and tetracategories. It would be good to add to the page here https://ncatlab.org/nlab/show/n-category whether they subsume the known notions of bicategory and tricategory.
  2. This is potentially pedantic but I also think that the opening line "Todd Trimble‘s definition of weak n-category is an example of a notion of weak omega-category" is confusing. Informally, a weak n-category can be regarded as a weak infinity category that is truncated above degree n. Formally, we should not call a definition of n-category a model "a notion of weak omega-category" unless it is really, transparently, a definition of an omega-category, together with a clear definition of what it means for that model of omega-category to be n-truncated, such that it is obvious that the proposed definition of n-category is an n-truncated omega category. Since in this case it is less than obvious how to extend the definition to the omega case, and since this extension does not appear to actually subsume the case of n-category, I don't think this is appropriate.
  3. Added a note expressing my understanding of how Trimble nn-categories relate to bicategories and tricategories.

    Patrick Nicodemus

    diff, v31, current

  4. removed query boxes of discussions:

    +–{.query} John has just substituted “topological” for my (Todd’s) original “tautological”, which I don’t mind at all – “topological” is correct and arguably more informative – but maybe this is a good place to explain that “tautological” was not a typo, but rather an expansion of a technical usage:

    One of the first examples of an operad that people are taught is the one where the n-th component consists of all n-ary operations X nXX^n \to X. (Here X nX^n denotes an n-fold tensor power in a monoidal category.) Because it’s the simplest or most obvious example of an operad, and because it’s canonically there no matter what XX is, it’s often in the literature called a “tautological operad”. What is less often noted is that by the same logic, hom(X,X n)hom(X, X^n) is an equally tautological operad, except that it consists of all “co-operations” instead of operations. Then, I am applying this observation to the example of the monoidal category of topological cospans from a point to itself, where XX is the interval.

    Toby: Considering that the original was ’tautological topological’, which is more informative, I've changed it back. But perhaps this explanation has a place in the main text?

    Todd: Sounds like a good idea. If you can figure out a smooth way to do that, I’d be grateful.

    Toby: Actually, I just realised that most of it is already in the next paragraph below. I'll just add a sentence noting that this explains the name. =–

    +–{.query} Urs: Thanks, Todd, this is great. If I may, let me try, also to check if I am following, to see how much of this we can do while abstracting away from Top and the concrete interval object in there.

    It seems that we need:

    • a closed monoidal homotopical category VV (not your VV above, but I’ll call it VV nevertheless);

    • an object IVI \in V fitting in an internal co-graph ptσ,τIpt \stackrel{\sigma, \tau}{\to} I such that

      • all the end-to-end pushouts I nI^{\vee n} exist in VV;

      • all the VV-internal hom-objects [I,I n][I, I^{\vee n}] are weakly equivalent to the point (the terminal object) [I,I n]pt[I, I^{\vee n}] \stackrel{\sim}{\to} pt;

      • equipped with the structure of a co-operad internal to VV on {[I,I n]}\{[I,I^{\vee n}]\}, nn \in \mathbb{N}.

    Then

    • for CC any VV-enriched homotopical category (I want to use now that CC is powered over VV) we get – now let me see… – a functor $Π ω:CTrimbleωCat.\Pi_{\omega}: C \to Trimble-\omega-Cat.$

    Hm, let me just let it stand this way for you to either erase all of this or maybe comment on it for the moment…

    Todd: Yes, that’s more or less right. But there is a god-given nonpermutative operad (not co-operad) structure on the graded VV-object {[I,I n]}\{[I, I^{\vee n}]\}, and that’s what I’m using here. If you know how the “endomorphism operad” works (as in the entry operad), then the operad here works the same way, mutatis mutandis.

    As for the last part: in the original definition, I didn’t know how to pass to the full-fledged ω\omega-categorical definition; I just had nn-categories, one for each nn. But Tom and Eugenia figured out how to make “Trimble-like” ω\omega-categories work by using coalgebraic methods. I haven’t thought about whether that allows a Π ω\Pi_\omega… But aside from these technicalities: yes, you seem to understand what this is all about.

    There were some comments to this effect after I gave that lecture; someone asked what you really need to do this definition very generally. Martin Hyland cried, “Not much!”

    Urs Schreiber: Okay, thanks. I tried now to formalize this at interval object.

    =–

    John Wick

    diff, v32, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2024

    Thanks for looking into cleaning up this old entry, there is much room left to do so. (This entry dates from the early days of the nLab in 2009 and had been hardly touched since.)