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 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 sheaves 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).

nLab > Latest Changes: limit

Bottom of Page

1 to 14 of 14

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJun 13th 2018

    I toiuched the formatting and the hyperlinking of the paragraphs on compatibility of limits with other universal constructions.

    Merged the previous tiny subsections on this to a single one, now Compatibility with universal constructions.

    added the hyperlink to the stand-alone entry adjoints preserve (co-)limits.

    Will create an analogous stand-alone entry for limits commute with limits.

    diff, v69, current

  2. Linked “classifying space” page.

    Anonymous

    diff, v70, current

    • CommentRowNumber3.
    • CommentAuthorAlec Rhea
    • CommentTimeApr 13th 2019

    cleaned up definition for arbitrary categories

    diff, v71, current

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeFeb 3rd 2021

    Redirect: limit functor.

    diff, v76, current

    • CommentRowNumber5.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMar 29th 2021

    Added the original reference that defined limits. Truly bizarre that after 75 revisions this article does not have a single reference.

    diff, v77, current

    • CommentRowNumber6.
    • CommentAuthorRichard Williamson
    • CommentTimeMar 30th 2021
    • (edited Mar 30th 2021)

    I find that paper of Kan amazing. Out of the blue, these fundamental and extraordinarily deep concepts of category theory are presented clearly as if on a tablet handed down by a God. I think that there must have been some background to the paper; in places, Kan’s wording suggests to me that the terminology might not be his (perhaps Eilenberg’s?). Thus the concepts may have to some extent have been extant. It would be a great job for a historian of mathematics to try to understand where the ideas came from.

    • CommentRowNumber7.
    • CommentAuthorvarkor
    • CommentTimeNov 30th 2022

    Added reference for the fact limits can be constructed from products and equalisers.

    diff, v82, current

    • CommentRowNumber8.
    • CommentAuthorvarkor
    • CommentTimeNov 30th 2022

    Added reference that limits can be constructed from products and equalisers of reflexive pairs.

    diff, v82, current

    • CommentRowNumber9.
    • CommentAuthorvarkor
    • CommentTimeNov 30th 2022

    Added reference for the fact limits can be constructed from products and equalisers.

    My understanding is that this result is also contained in Eckmann–Hilton’s Group-like structures in general categories II equalizers, limits, lengths, but I haven’t had time to check where yet, and Maranda’s paper is prior.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2023

    added pointer to:

    diff, v84, current

    • CommentRowNumber11.
    • CommentAuthorvarkor
    • CommentTimeMay 23rd 2023

    Add the example of a limit of a diagram whose domain has an initial object.

    diff, v85, current

    • CommentRowNumber12.
    • CommentAuthorBryceClarke
    • CommentTimeFeb 13th 2024

    Added thesis of Ernest Manes as an earlier reference for the sufficiency of reflexive pairs to construct all limits.

    diff, v88, current

    • CommentRowNumber13.
    • CommentAuthorvarkor
    • CommentTimeFeb 28th 2024

    Remove extraneous “other”.

    diff, v89, current

  14. Speak of global elements instead of generalized elements for the limit of set-valued functors. Added the hyperlink to https://ncatlab.org/nlab/show/global+section.

    Sidney Congard

    diff, v91, current

1 to 14 of 14

  1.