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.