An implementation of effective homotopy of fibrations (Q2422709)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An implementation of effective homotopy of fibrations |
scientific article |
Statements
An implementation of effective homotopy of fibrations (English)
0 references
20 June 2019
0 references
constructive algebraic topology
0 references
effective homotopy
0 references
fibrations
0 references
homotopy groups
0 references
Serre exact sequence
0 references
finitely generated groups
0 references
central extensions
0 references
setoid groups
0 references
effective setoid groups
0 references
