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.
1 to 6 of 6