Two closed categories of filters

DOI10.4064/fm-94-2-129-143zbMath0357.18004OpenAlexW950096932MaRDI QIDQ4129618

Andreas Blass

Publication date: 1977

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214993

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Special categories (18B99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

Saturated models of intuitionistic theories, A model for intuitionistic non-standard arithmetic, Representations of algebras in varieties generated by infinite primal algebras., Completion of continuity spaces with uniformly vanishing asymmetry, Ultrafilters, finite coproducts and locally connected classifying toposes, Ultrapowers as sheaves on a category of ultrafilters, Real numbers in the topos of sheaves over the category of filters, Ultrasheaves and double negation, Generalising canonical extension to the categorical setting, Relaciones Topológicas