scientific article; zbMATH DE number 1392302
From MaRDI portal
Publication:4936141
zbMath0945.03542MaRDI QIDQ4936141
No author found.
Publication date: 25 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Abelian categories, Grothendieck categories (18E10)
Related Items (21)
Unnamed Item ⋮ Unnamed Item ⋮ Quotient completion for the foundation of constructive mathematics ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ The category of equilogical spaces and the effective topos as homotopical quotients ⋮ Sobriety for equilogical spaces ⋮ When do completion processes give rise to extensive categories? ⋮ On the structure of categories of coalgebras ⋮ Inductive types and exact completion ⋮ On generalized equilogical spaces ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Equilogical spaces ⋮ Domain representations of topological spaces ⋮ Locally cartesian closed exact completions ⋮ The sequentially realizable functionals ⋮ A characterization of the left exact categories whose exact completions are toposes ⋮ 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.
This page was built for publication:
