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-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 infinity integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure measure-theory modal-logic model model-category-theory monads monoid 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 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory 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.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 28th 2016

    At path category there is disambiguation between several senses, none of which seems to be what Benno van den Berg is using in Path categories and propositional identity types.

    The notion of a path category is a slight strengthening of Brown’s classic notion of a category of fibrant objects [6] and was introduced in [5], where also many of its basic properties were established.

    [5] is B. van den Berg and I. Moerdijk. Exact completion of path categories and algebraic set theory, arXiv:1603.02456, while [6] is BrownAHT. I see in [5] they compare their approach to Mike’s in ’Univalence for inverse diagrams and homotopy canonicity’.

    I’ll leave it to the better qualified to decide what there is to be added to nLab.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeApr 28th 2016

    I haven’t had the chance to read that paper carefully yet, but as they say, their “path categories” are similar to what other people call “categories of fibrant objects” or “fibration categories”. I guess time to disambiguate yet again.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 28th 2016

    By the way, the entry fibration category is waiting for somebody to fill in more variants.

    • CommentRowNumber4.
    • CommentAuthorspitters
    • CommentTimeJun 1st 2016

    path category refers to Gabriel and Zisman for the free category on a directed graph. However, I could not find that terminology in the index, neither do I have a searchable PDF. Does someone have a quick reference?

    • CommentRowNumber5.
    • CommentAuthorThomas Holder
    • CommentTimeJun 1st 2016
    • (edited Jun 1st 2016)

    They call it the category of paths and it occurs at various places in their dictionary with the definition right on page 1. More elaborate discussions of the free category can be found in e.g. the Mac Lane book, Borceux vol.1, or the Barr-Wells book ’CT for computer science’.

    Related things are done with free cats with extra-structure & their path cats in two papers by Walters in no. 62 (1989) of JPAA or by Latch here. All three concern context free grammars.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 1st 2016

    Just as a kind reminder: one of you should now go and add this information to the nLab entry. Thanks!

    • CommentRowNumber7.
    • CommentAuthorspitters
    • CommentTimeJun 1st 2016

    Thanks! I’ve added it to the page.

    • CommentRowNumber8.
    • CommentAuthorspitters
    • CommentTimeJun 1st 2016

    The page consistently has lists: a 2,f 1,a 0a_2,f_1,a_0. I guess this should be a 1,f 1,a 0a_1,f_1,a_0. Or am I overlooking something?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 1st 2016

    Clearly a typo, proliferated by copy-and-pasting. I have fixed it now.