Showing 2023 · math.CTShow all
2 papers · 2 filters
math.CT2023
Strict monadic topology II: descent for closure spaces
George Janelidze, Manuela Sobral
By a closure space we will mean a pair , in which is a set and a set of subsets of closed under arbitrary intersections. The purpose of this…
math.CT2023
A note on idempotent semirings
George Janelidze, Manuela Sobral
For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the…