Semigroups and toposes (Q2464342)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semigroups and toposes |
scientific article |
Statements
Semigroups and toposes (English)
0 references
19 December 2007
0 references
The main scope of this paper is to establish a semigroup presentation of the classifying topos of an inverse semigroup. So, the author shows that any etendue has a left \(^{*}\)-semigroup presentation and that any left \(^{*}\)-semigroup may be codensely embedded in an inverse semigroup.
0 references
semigroups
0 references
ordered groupoids
0 references
toposes
0 references
presheaf
0 references
geometric morphisms
0 references
