Created 201707040601 for further use in some notes on icons in -enriched bicategories that I am writing.
]]>Created equivariant_related_illustration20170619, for future use.
]]>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.
]]>