Search
❯
Dec 29, 20251 min read
Category behaving like the category of sets, providing a setting for geometric logic.