Bruhat Cubes as Product Categories: A Categorical and HoTT Reframing of Dyadic Uniformity and AI-Assisted Mathematical Discovery
Fields of Study & Subjects
Advanced Combinatorial Mathematics
Homotopy and Cohomology in Algebraic Topology
Logic
programming
and type systems
Publication details
- Publication date
- 1 January 2026