tetrapharmakon/isbell-frames

Isbell duality and pointfree topology