Effective versions of equilogical spaces
β
Dana Scott
π
Article
π
2000
π
Elsevier Science
π
English
β 30 KB
The full category of equilogical spaces can be thought of either as ER(TOP), the category of equivalence relations on T 0 -topological spaces and equivariant continuous maps (i.e., equivalence preserving), or PER(DOM/T), the category of partial equivalence relations on Scott domains with a top (i.e.