scientific article; zbMATH DE number 1392302

MaRDI QIDQ4936141zbMATH OpenFDO

Authors

Publication date 25 January 2000

Mathematics Subject Classification ID

Logic in computer science (03B70) Abelian categories, Grothendieck categories (18E10) Semantics in the theory of computing (68Q55)

Cited in

(22)

• A minimalist two-level foundation for constructive mathematics
• Domain representations of topological spaces
• Locally cartesian closed exact completions
• More exact completions that are toposes
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Foundation of a computable solid modelling.
• Equilogical spaces
• The sequentially realizable functionals
• A characterization of the left exact categories whose exact completions are toposes
• Sobriety for equilogical spaces
• On generalized equilogical spaces
• Quotient completion for the foundation of constructive mathematics
• Constructive toposes with countable sums as models of constructive set theory
• scientific article; zbMATH DE number 2165891 (Why is no real title available?)
• The category of equilogical spaces and the effective topos as homotopical quotients
• Exact completion and constructive theories of sets
• Frames and topological algebras for a double-power monad
• Inductive types and exact completion
• When do completion processes give rise to extensive categories?
• On the structure of categories of coalgebras
• Flatness, weakly lex colimits, and free exact completions
• Effectiveness and continuity in intuitionistic quasi-toposes of assemblies

This page was built for publication:

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