Hacker NewsSep 22, 2025

A Generalized Algebraic Theory of Directed Equality

https://jacobneu.phd/

#HackerNews #GeneralizedAlgebraicTheory #DirectedEquality #Mathematics #Research #Theory

A Generalized Algebraic Theory of Directed Equality | A Generalized Algebraic Theory of Directed Equality

A Generalized Algebraic Theory of Directed Equality | A PhD thesis by Jacob Neumann