位相空閒の圈
位相空間の圏 - Wikipedia
位相空閒を對象とし、連續函數を射とする圈$ \bf Top