nLab John Isbell

Selected writings

Introducing the notion that came to be known as Isbell duality (and discussing foundations for category theory via a kind of Grothendieck universes):

On large cocompleteness:

On the theory of locales (and introducing that term):

On functorial semantics:

category: people