Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 definitions 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 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 object 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

1. • CommentRowNumber1.
   • CommentAuthorDavid_Corfield
   • CommentTimeApr 28th 2016
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexAt [[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](https://arxiv.org/abs/1604.06001). >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.

   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.

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeApr 28th 2016
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI 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.

   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.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeApr 28th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexBy the way, the entry _[[fibration category]]_ is waiting for somebody to fill in more variants.

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

4. • CommentRowNumber4.
   • CommentAuthorspitters
   • CommentTimeJun 1st 2016
   • PermaLink
   Author: spitters
   Format: MarkdownItex[[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?

   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?

5. • CommentRowNumber5.
   • CommentAuthorThomas Holder
   • CommentTimeJun 1st 2016
   • (edited Jun 1st 2016)
   • PermaLink
   Author: Thomas Holder
   Format: MarkdownItexThey 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](http://www.numdam.org/item?id=CTGDC_1991__32_3_203_0). All three concern context free grammars.

   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.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeJun 1st 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexJust as a kind reminder: one of you should now go and add this information to the nLab entry. Thanks!

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

7. • CommentRowNumber7.
   • CommentAuthorspitters
   • CommentTimeJun 1st 2016
   • PermaLink
   Author: spitters
   Format: MarkdownItexThanks! I've added it to the page.

   Thanks! I’ve added it to the page.

8. • CommentRowNumber8.
   • CommentAuthorspitters
   • CommentTimeJun 1st 2016
   • PermaLink
   Author: spitters
   Format: MarkdownItexThe page consistently has lists: $a_2,f_1,a_0$. I guess this should be $a_1,f_1,a_0$. Or am I overlooking something?

   The page consistently has lists: $a_2,f_1,a_0$. I guess this should be $a_1,f_1,a_0$. Or am I overlooking something?

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeJun 1st 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexClearly a typo, proliferated by copy-and-pasting. I have fixed it now.

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