2 papers
math.RA2025
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Matthew Bolan, Joachim Breitner, Jose Brox +31
We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project suc…
math.CT2025
Weak representability of actions of non-associative algebras
Jose Brox, Xabier GarcÃa-MartÃnez, Xabier García-Martínez +3
We study the categorical-algebraic condition that internal actions are weakly representable (WRA) in the context of varieties of (non-associative) algebras over a field. Our first…