Toposes of monoid actions

openWe study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly generated toposes (a class strictly larger than presheaf toposes). This enables us to efficiently study and characterize toposes of continuous actions of topological monoids on sets, where the latter are viewed as discrete spaces. Finally, we refine this characterization into necessary and sufficient conditions for a supercompactly generated topos to be equivalent to a topos of this form.openInformatica e matematica del calcoloRogers, Morga

Factoring Continuous Homomorphisms Defined on Submonoids of Products of Topologized Monoids

We study factorization properties of continuous homomorphisms defined on submonoids of products of topologized monoids. We prove that if S is an ω-retractable submonoid of a product D = ∏ i ∈ I D i of topologized monoids and f : S → H is a continuous homomorphism to a topologized semigroup H with ψ ( H ) ≤ ω , then one can find a countable subset E of I and a continuous homomorphism g : p E ( S ) → H satisfying f = g ∘ p E ↾ S , where p E is the projection of D to ∏ i ∈ E D i . The same conclusion is valid if S contains the Σ -product Σ D ⊂ D . Furthermore, we show that in both cases, there exists the smallest by inclusion subset E ⊂ I with the aforementioned properties