Timeline for Does this elementary generalization (left and right sided products) of categorical product have an official name?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 27, 2019 at 4:07 | comment | added | Mike Shulman | Yes, see ncatlab.org/nlab/show/weak+limit. If I needed a name for uniqueness-without-existence, I might call it a "sublimit", since if the limit exists then a cone is a sublimit just when its comparison map to the limit is a monomorphism (and even if the limit doesn't exist that property can be stated in the presheaf category). | |
| Mar 25, 2019 at 17:34 | comment | added | Andreas Blass | Existence without uniqueness is often indicated by "weak", but I haven't previously encountered uniqueness without existence in universal properties. | |
| Mar 25, 2019 at 16:54 | history | asked | Paul Fabel | CC BY-SA 4.0 |