scientific article; zbMATH DE number 3396151

zbMath0251.18015MaRDI QIDQ5664068

Gavin C. Wraith, Anders Kock

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Categories in geometry and topology (18F99) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)

Related Items (35)

On completeness of locally-internal categories ⋮ Unnamed Item ⋮ Fuzzy sets and toposes - towards higher order fuzzy logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Partiality, cartesian closedness, and toposes ⋮ Unnamed Item ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ Unnamed Item ⋮ From types to sets ⋮ Fuzzy sets: A topos-logical point of view ⋮ Two forms of the axiom of choice for an elementary topos ⋮ Implementing finite structures in Mathematica via a skeletal topos of finite sets. ⋮ A survey of fuzzy set and topos theory ⋮ Topology and logic as a source of algebra ⋮ Unnamed Item ⋮ Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras ⋮ Open maps, colimits, and a convenient category of fibre spaces ⋮ On the structure of categories of coalgebras ⋮ Ultrafilters, ultrapowers and finiteness in a topos ⋮ Change of base for toposes with generators ⋮ Distributoren und Kan-Erweiterungen ⋮ Yoneda structures on 2-categories ⋮ Categories ⋮ Localization and Sheaf Reflectors ⋮ On topoi as closed categories ⋮ Repleteness and the associated sheaf ⋮ Triples on Reflective Subcategories of Functor Categories ⋮ Categorical set theory: A characterization of the category of sets ⋮ Artin glueing ⋮ Topos theory and Souslin's hypothesis ⋮ The associated sheaf functor in an elementary topos ⋮ Unnamed Item ⋮ Monoidal closed categories, weak topoi and generalized logics ⋮ Colimits in Topoi

This page was built for publication: