No label defined (Q3503829)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
9 June 2008
0 references
fundamental pushout topos
0 references
prodiscrete fundamental groupoid
0 references
branched covering
0 references
covering projection
0 references
zero-dimensional locale
0 references
locally discrete locale
0 references
