A ctop α σ is a realization of a topology (basis) on α, represented by a type σ together with operations for the top element and the intersection operation.

Map a ctop to an equivalent representation type.

A ctop realizer for the topological space T is a ctop which generates T.