2 papers
math.CT2025
What is a monoid?
Paul Blain Levy, Morgan Rogers
In many situations one encounters an entity that resembles a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equatio…
math.LO2025
Broad Infinity and Generation Principles
Paul Blain Levy
We introduce Broad Infinity, a new set-theoretic axiom scheme based on the slogan "Every time we construct a new element, we gain a new arity." It says that three-dimensional trees…