Semigroups and toposes (Q2464342)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semigroups and toposes |
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
