We define and explore rack objects internal to categories with products. In demonstration, we classify the group-racks, and use homotopy to prove both existence and exclusion theorems for path-connected topological racks.

中文翻译：

---

同义词库机架：对机架对象进行分类

我们定义和探索产品类别内部的货架对象。在演示中，我们对组机架进行分类，并使用同伦来证明路径连接拓扑机架的存在定理和排除定理。