David Roberts
topological category

A topological category is a category internal to Top.