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.
Hm, it’s not clear that non-standard terminology for a trivial idea needs two separate pages, particularly if neither has anything interesting to say, so far.
At least the entries should give references for where notation is used this way, if it is. I’d rather expect that if “Inj” is used for any category in the literature, then for subcategories of injective objects, but of course I haven’t made a survey.
My attention was drawn to this by someone on Twitter asking for a name for the category, and finding Inj already here
Let’s see, it’s there on p.720 of
But others use it for the category whose objects are injective set functions.
Whatever we do, Inj is a page called by other pages, such as power set.
1 to 3 of 3