3 citations · 3 across the 2 of their papers we have counts for
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.LO2021★ 3 cited
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…