Narrow Results

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.