nLab bicompact space

Definitions

A bicompact space is a bitopological space both of whose underlying topological spaces are compact spaces, often assumed to be Hausdorff.

$Bi Comp$ is the category whose objects are bicompact spaces and whose morphisms are bicontinuous maps?.

References

• Jiri Adamek, Horst Herrlich, and George Strecker, Abstract and concrete categories: the joy of cats. free online