> [!abstract] > Category theory is a general theory of mathematical structures and their relations. [...] A category is formed by two sorts of objects: the **objects** of the category, and the **morphisms**, which relate two objects called the source and the target of the morphism (Wikipedia, 2024). > > Eugenia Cheng calls it "the logical study of the logical study of how logical things work" ([[Cheng, 2018]]) (i.e., one level of abstraction above mathematics). >[!related] >- **North** (upstream): — >- **West** (similar): — >- **East** (different): — >- **South** (downstream): —