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).
  1. Used ˜\tilde \mathbb{C} for the name of the indexed category

    Bartosz Milewski

    diff, v18, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2023
    • (edited Apr 27th 2023)

    added pointer to:

    This article speaks as if inventing the notion/terminology of “indexed catgeories”. Is that the case?

    diff, v19, current

    • CommentRowNumber3.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 27th 2023

    Added:

    Indexed categories were introduced and developed by Lawvere in early 1970s. Further contributions were made by Bénabou. An early account of the theory can be found in

    diff, v20, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2023

    Thanks. I am making all these author-hyperlinks work…

    diff, v21, current

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeApr 27th 2023
    • (edited Apr 27th 2023)

    3 “Indexed categories were introduced and developed by Lawvere in early 1970s”

    The name indexed category is indeed from that period (with major influence of the book by Pare and Schumacher), but the first extensive usage of the indexed categories (contravariant pseudofunctors from a usual category to Cat) is from Grothendieck’s first FGA article about descent around 1958. Only a year or two later Grothendieck switched to fibered categories, and the article in SGA on descent is indeed in fibered formalism (article written by Pierre Gabriel under Grothendieck’s guidance). There is often heard falacy in 1-category community, totally wrong, that Grothendieck (extensively) used (only) fibered categories and American school pioneered/used contravariant pseudofunctors/indexed categories. Benabou, who made huge contribution to the subject, himself complained to this historical falacy on category list more than once. I once wrote my own complaint to a thread in category list and my contribution has been rejected by (presumably an American school belonging) moderator. Probably, under the influence of Gabriel-Grothendieck more clean SGA approach to descent it became more standard ro use property-approach of fibered categories and everybody looked as THE approach to descent of Grothendieck school so the structure point of view embraced and further developed by American-Canadian school was making impression of being a new approach.

    (One should also point out that it was Grothendieck who introduced the common notation for writng fibration-like functions/functors with drawing up to down function arrow suggesting the original point of view, including on pseudofunctors as “indexed” families.)

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2023

    the first extensive usage of the indexed categories (contravariant pseudofunctors from a usual category to Cat) is from Grothendieck’s first FGA article about descent around 1958

    Right, p. 3 here.

    I have removed the claim that the notion is due to Lawvere and instead added this:

    The notion of indexed categories was introduced in

    but under the name “fibered category” (catégorie fibrée) which later became the standard term, instead, for the (equivalent) Grothendieck construction on an indexed category, cf.

    • Jean Bénabou, p. 898 (2 of 41) of: Fibrations petites et localement petites , C. R. Acad. Sci. Paris 281 Série A (1975) 897-900 [gallica]

    Let’s add in attribution to Lawvere if and when we have concrete referenc to support it. (Our entry William Lawvere claims that an “approach to indexed categories” is in the Perugia 1972 lecture notes pdf, but on browsing through it once I haven’t spotted such).

    diff, v22, current

    • CommentRowNumber7.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 27th 2023

    Interesting. And FGA is not exactly an obscure source, so it is really bizarre how the notion of an indexed category is misattributed.