Skip to main content
7 events
when toggle format what by license comment
Oct 12, 2021 at 15:27 comment added Jochen Wengenroth @MartinBrandenburg In the Lecture Notes, Lambek writes that this terminology was suggested by Amitsur, but he does not give a reference.
Oct 12, 2021 at 13:13 comment added Jochen Wengenroth I like the terminology limit=infimum and colimit=supremum very much. For many diagrams limits or colimits are very poor approximations and only give very little information. This is very similar to infima and suprema in partially ordered sets.
Jul 2, 2021 at 22:09 comment added Tom Leinster @MartinBrandenburg OK, never mind then. I unthinkingly assumed that the word "completion" in Lambek's title referred to a universal property, but that's a 2021 view of 1966. E.g. Isbell's 1966 paper "Structure of categories" contains this sentence (first paragraph): "By a completion of [a category] $A$ is meant a complete caegory in which $A$ is fully embedded so that no complete full proper subcategory contains it".
Jul 2, 2021 at 21:07 comment added Martin Brandenburg Lambek doesn't mention or prove the universal property in that book. Also because he was mainly interested in cocompletions which preserve existing colimits.
Jul 2, 2021 at 21:05 comment added Martin Brandenburg (offtopic) Did any other author except for Lambek use the terms "supremum" and "infimum" for "colimit" and "limit"?
Jul 2, 2021 at 16:13 comment added varkor Thanks, this is a good suggestion. I took a look through and couldn't find a reference for this result, but it's a useful upper bound on when the result was known.
Jul 2, 2021 at 16:01 history answered Tom Leinster CC BY-SA 4.0