Operational mathematics

Schemathematics

An operational atlas approach to mathematical structure: what objects do, which constraints they introduce, and how they transform across representations.