CatDat

Search results

• Satisfied properties: continuous
• Unsatisfied properties: cocontinuous

Found 2 functors

• contravariant power set functor
• forgetful functor for vector spaces