A bicompact space is a bitopological space both of whose underlying topological spaces are compact spaces, often assumed to be Hausdorff.
BiComp is the category whose objects are bicompact spaces and whose morphisms are bicontinuous maps?.