объекты
математические сущности · числа · идеи · операторы
категория · §01
→
ℕ
числа
константы · типы · особенные · любопытные.
4 подкатегории · 18 объектов
категория · §02
→
⊬
идеи
теоремы · гипотезы · задачи — доказанные и открытые утверждения.
3 подкатегории · 13 объектов
категория · §03
→
∂
операторы
mod · floor · XOR · ∇ · ! · ∑ · ∫ · ∂ — действия, которые преобразуют.
8 операторов
категория · §04
→
Ω
алфавиты
греческий · математические символы Unicode. откуда математика берёт свои символы.
2 алфавита · 84+ символа
категория · §05
→
(x,y)
координаты
декартовы · полярные · комплексная плоскость. разные языки для одной точки.
3 системы · геометрия · анализ