范畴中的同构；也就是说，它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚，那么这两个空间就称为同胚的，从拓扑学的观点来看，两个空间是相同的。大致地说，拓扑空间是一个几何物体，同胚就是把物体连续延展和弯曲，使其成为一个新的物体。因此，正方形和圆是同胚的，但球面和环面就不是。有一个笑话是说，拓扑学家不能区分咖啡杯和甜甜圈，这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状（见图）。
定义.两个拓扑空间{"X","T"}和{"Y","T"}之间的函数"f" : "X"