The derivator of setoids (Q5870839)
From MaRDI portal
scientific article; zbMATH DE number 7645027
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The derivator of setoids |
scientific article; zbMATH DE number 7645027 |
Statements
23 January 2023
0 references
derivator
0 references
setoid
0 references
exact completion
0 references
constructive mathematics
0 references
axiom of choice
0 references
anafunctor
0 references
math.CT
0 references
math.AT
0 references