CatDat

Structure

Home
Functors
Properties
Implications
Search

Search results

Satisfied properties: continuous

Unsatisfied properties: cocontinuous

Found 2 functors

contravariant power set functor
forgetful functor for vector spaces

Adjust search Dualize search

Contribute
Settings
Missing data
Resources
Foundations
Download

Home
Functors
Properties
Implications
Search

Contribute
Settings
Missing data
Resources
Foundations
Download