Two closed categories of filters

DOI10.4064/FM-94-2-129-143MaRDI QIDQ4129618zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(10)

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

This page was built for publication: Two closed categories of filters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4129618)