Relative extensivity, multicategories and topological spaces

Richard Garner – 25 September 2019

We introduce the notion of a category's being relatively extensive over a base category, and show that, for suitable choices of that base, relatively extensive categories are ordinary categories; multicategories; and (non-posetal generalisations of) topological spaces.

Back