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

]]>Remove extraneous “other”.

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

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

]]>added pointer to:

- Saunders MacLane, §III.4 of:
*Categories for the Working Mathematician*, Graduate Texts in Mathematics**5**Springer (second ed. 1997) [doi:10.1007/978-1-4757-4721-8]

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.

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

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

]]>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.

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

]]>Redirect: limit functor.

]]>cleaned up definition for arbitrary categories

]]>Linked “classifying space” page.

Anonymous

]]>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*.