3 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.RA2024
From free idempotent monoids to free multiplicatively idempotent rigs
Morgan Rogers
A multiplicatively idempotent rig (which we abbreviate to mirig) is a rig satisfying the equation . We show that a free mirig on finitely many generators is finite and com…
math.CT2024
Topoi with enough points
Ivan Di Liberti, Morgan Rogers
We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique c…