3 papers
math.CT2026
Finitary Cartesian closed varieties and semigroup actions
Mark V Lawson
We build on some ideas of Richard Garner. Let be a monoid and a Boolean algebra. A `matched pair' consists of and and some mutual interactions. Garner showe…
math.CT2025
The structure of étale Boolean right restriction monoids
Mark V. Lawson
In this paper, we describe étale Boolean right restriction monoids in terms of Boolean inverse monoids.
math.CT2024
Generalizations of free monoids
M. V. Lawson, A. Vdovina
We generalize free monoids by defining -monoids. These are nothing other than the one-vertex higher-rank graphs used in -algebra theory with the cardinality requiremen…