The fundamental group of a topos (Q1053102)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The fundamental group of a topos |
scientific article |
Statements
The fundamental group of a topos (English)
0 references
1983
0 references
fundamental group of topos
0 references
profinite completion
0 references
internal version of Grothendieck fundamental group
0 references
internal Galois group
0 references
