Hegel na Matemática
O que Hegel chama de momento é formalizado por uma (co)modalidade em uma categoria C com um operador □ : X → □X, onde □X é chamado de aspecto de X sob □ que mapeia um morfismo f : Y → X para um morfismo □(f) : □Y → □X. □ é idempotente. Há para todo X um □X → X (modalidade; momento anterior) ou X → 🔴(X) (comodalidade; momento sucessivo). Y = □X ⇔ □Y = Y. Os tipos que são invariantes sob um momento formam sua própria subcategoria imersiva: C□ → C. unidade-ps (unidade de um momento anterior a um momento sucessivo oposto) = □ ⊣ 🔴 unidade-sp (unidade de um momento sucessivo a um momento anterior oposto) = 🔴 ⊣ □ A unidade de opostos é dada pelo par de momentos △_1 ⊣ △_2 que satisfaz a condição de adjunção: para todo X e Y há um morfismo △_(1)Y → X e um morfismo Y → △_2(X), onde se □ (momento anterior) ⊣ 🔴_1 (momento sucessor) e □ ⊣ 🔴_2, então 🔴_1 = 🔴_2. Todo tipo X está entre seus aspectos antecessores e sucessores: □X → X → 🔴X (note, esses momentos não são temporais, mas causai...