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.
    • 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.
    • CommentAuthorAli Caglayan
    • 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 19th 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.
    • CommentAuthorAli Caglayan
    • 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.
    • CommentAuthorAli Caglayan
    • CommentTimeFeb 15th 2019

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

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 16th 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

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2021

    I have hyperlinked more of the technical terms

    Where it says “the model in simplicial sets” a sensible hyperlink should be given.

    Looking around for what we have, I notice the entry with the sweet title

    That goes in the direction to what one should link to here. But maybe this could be brought into a little more standard format.

    diff, v8, current

  1. Add references

    Jonathan Weinberger

    diff, v10, current