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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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).

nLab > Latest Changes: category of cubes

Bottom of Page

1 to 8 of 8

  1.  
    • CommentRowNumber1.
    • CommentAuthorTim Campion
    • CommentTimeFeb 3rd 2019

    Added a few additional descriptions of □ ≤1\Box_{\leq 1}, which is the same as Δ ≤1\Delta_{\leq 1}.

    diff, v18, current

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 3rd 2021

    Our pages category of cubes, cubical set, model structure on cubical sets, and so on, seem to all be exclusively about non-symmetric cubes. Given the increasing importance of more structured cube categories (symmetric, cartesian, de Morgan, etc.), especially in relation to HoTT, it would be nice to be more general. What opinions do people have about organization? Should these generically-named pages all be disambiguation pages? Should they include the different kinds of cubes as subsections? Should the generic pages remain about the non-symmetric version, with pointers to separate pages about other versions? In general, should the unqualified term “cubical set” on the nLab continue to refer to non-symmetric cubes, or should it be ambiguous unless qualified?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2021

    Go by the amount of available material: As long as you dont’ have much to say, write it into the next best existing entry. If and when the new material grows larger than is sensible for a subsection, split it off to its own stand-alone entry.

    • CommentRowNumber4.
    • CommentAuthorRichard Williamson
    • CommentTimeFeb 3rd 2021
    • (edited Feb 3rd 2021)

    Good question! I have thought a bit about this myself. As usual, I think there are advantages and disadvantages to all approaches. One perspective I like is that something is a ’category of cubes’ if one can construct it as I do at ’category of cubes’: as the free strict monoidal category on a ’structured interval’ category. I think this encompasses all examples. One way to proceed would be to write this down formally (this is not completely trivial as soon as one has 2-dimensional structures involved) and then make all the specific categories of cubes examples of this formal construction for specific choices of structured interval category. They could be listed on the formal/generic ’category of cubes’ page, but have (or the corresponding cubical sets pages could have) their own pages where they are significant enough, e.g. if they have specific applications or special properties.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeMay 9th 2021

    Added an Idea section mentioning that there are many kinds of cube category.

    diff, v19, current

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeMay 9th 2021

    Added brief mention of some other cube categories.

    diff, v19, current

  7. adding section on the semicartesian cube category

    Anonymous

    diff, v20, current

  8. The symmetric and semicartesian cube categories were listed separately but are the same.

    Evan Cavallo

    diff, v21, current

1 to 8 of 8

  1.