By Gelfand duality, spaces are formal duals of commutative $C^*$-algebras. The purpose of a spaceoid is to act as the formal dual of a commutative $C^*$-category.

…

Spaceoids