Not signed in (Sign In)

Start a new discussion

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 beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 infinity integration integration-theory k-theory kan lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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 subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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.
    • CommentAuthorUlrik
    • CommentTimeJan 16th 2019

    Initial stub to record some references. Wanted by type theoretic model category

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUlrik
    • CommentTimeJan 16th 2019

    Add a link to Christian’s HIM talk

    v1, current

    • CommentRowNumber3.
    • CommentAuthorUlrik
    • CommentTimeJan 16th 2019

    Change the page name to the one with hyphen and add the other versions as redirects.

    diff, v2, current

    • CommentRowNumber4.
    • CommentAuthorUlrik
    • CommentTimeJan 17th 2019

    The assumptions and some instances of these. More later.

    diff, v3, current

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeJan 17th 2019

    Is this talk also related?

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeJan 17th 2019

    Suggestions for better names:

    • interval-induced model category
    • interval-generated model category
    • cubical-type model category
    • univalence-induced model category
    • CommentRowNumber7.
    • CommentAuthorAlizter
    • CommentTimeJan 18th 2019

    Even cubical model category might do. Although it could be confused with the model structure on cubical sets.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeJan 18th 2019

    I think by analogy to “simplicial model category”, the term “cubical model category” would be assumed to mean a model category enriched over cubical sets.

    • CommentRowNumber9.
    • CommentAuthorUlrik
    • CommentTimeJan 19th 2019
    • (edited Jan 19th 2019)

    What about “univalent model category”? That’s reasonably short and hints at the key ingredient (and a raison-d’être). Otherwise, “univalence-induced” might do, but it is a cumbersome. I’ll ask Thierry and Christian for their opinions.

    Re #5, yes, that’s very relevant, and I realized that the current assumptions on this page (type-theoretic model structure) are not general enough. In particular, once we have fibrant dependent products and fibrant univalent universes, then we should get a model structure worthy of the name. But then we might get a bit closer to type-theoretic model category, which AFAICS doen’t discuss univalent universes at the moment.

    • CommentRowNumber10.
    • CommentAuthorAlizter
    • CommentTimeJan 19th 2019

    “univalent model category” seems a bit greedy since there could be other models of univalence in the future. What about something silly like “cubivalent model category”?

    • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeJan 19th 2019

    In fact there are already other models of univalence, such as Voevodsky’s very first model of simplicial sets and diagrams of such. So “univalent model category” won’t cut it.

    • CommentRowNumber12.
    • CommentAuthorspitters
    • CommentTimeFeb 15th 2019

    Remarks about equivalence with simplicial sets.

    diff, v4, current

    • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 15th 2019

    Thanks. I’d like to change the name of this page now to something less conflicty and confusing, before the term starts to get used too much. I suggest “cubical-type model category” for now, does anyone have a better suggestion?

    • CommentRowNumber14.
    • CommentAuthorAlizter
    • CommentTimeFeb 15th 2019

    I think “cubical-type model category” is a reasonable improvement.

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 15th 2019

    Renamed page to something that’s a bit better. But if we come up with an even better name we can of course rename it again.

    diff, v6, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)