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.
Created twosets20170617. Contains an svg illustration of a full subcategory of consisting of a terminal object and a two-element set. Uses the convention that an identity arrow is labelled by its object. Intended for use in some graph-theoretical considerations from an nPOV. Sufficiently general to be possibly of use in some other nLab articles too.
1 to 1 of 1