Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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 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 pointer to:
Added thesis of Ernest Manes as an earlier reference for the sufficiency of reflexive pairs to construct all limits.
1 to 14 of 14