An Algebraic Approach to Stable Domains Paul Taylor written 1988, published 1991 Abstract Day [75] showed that the category of continuous lattices and maps which preserve directed joins and arbitrary meets is the categor

Source URL: www.paultaylor.eu

• General topology
• Sheaf
• Locally connected space
• Adjoint functors
• Connected space
• Limit
• Continuous function
• Universal property
• Local homeomorphism
• Topos
• Representable functor
• Differential forms on a Riemann surface

505 Documenta Math. K-Theory of Log-Schemes I Wieslawa Niziol1

Source URL: documenta.sagemath.org

• Sheaf theory
• Algebraic geometry
• tale morphism
• Base change
• Flat morphism
• Morphism of schemes
• Topos
• Sheaf
• Grothendieck topology
• Algebraic K-theory
• Morphism
• Coherent sheaf

E Als „Topos“ bezeichnet man eine Ausdrucksweise oder ein Motiv, das die Dichter einer von dem anderen (die römischen zunächst von den griechischen) übernahmen und in immer neuen Abwandlungen gestalteten. Um das f

Source URL: www.pegasus-onlinezeitschrift.de

I. CDO: Categories with Distinguished Objects II. Chu Spaces, Typed and Untyped III. Three Questions in Philosophy Vaughan Pratt Stanford University

Source URL: chu.stanford.edu

• Mathematics
• Algebra
• Abstract algebra
• Category theory
• Functors
• Sheaf theory
• Algebraic topology
• Topos
• Functor
• Category
• Morphism
• Chu space

Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud

Source URL: www.cs.ru.nl

• Constructivism
• Structure
• Mathematics
• Type theory
• Logic
• Constructive proof
• Axiom of choice
• Topos
• Mathematical logic
• Model theory
• Topology

Cubical sets as a classifying topos∗ Bas Spitters Carnegie Mellon University, Pittsburgh Aarhus University Abstract

Source URL: www.cs.ru.nl

A Topos Theoretical Foundation for Quantum Physics. November 9, 2011 1

Source URL: www.cs.ru.nl

A topos for algebraic quantum theory Bas Spitters (jww Heunen, Landsman) DIAMANT research cluster/ TU/e (Radboud University Nijmegen) 24th OctPadova, 24th Oct 2008

Source URL: www.cs.ru.nl

Quantum theory Bohrification: topos theory and quantum theory Bas Spitters Domains XI,

Source URL: www.cs.ru.nl

Topos theory and Algebraic Quantum theory Bas Spitters Radboud University Nijmegen Scottish Category Theory Seminar 2 Decembers 2010

Source URL: www.cs.ru.nl