scientific article; zbMATH DE number 3567031

MaRDI QIDQ4138872zbMATH OpenFDO

Authors F. William Lawvere

Publication date 1975

Mathematics Subject Classification ID

Foundations of algebraic geometry (14A99) Categories in geometry and topology (18F99) Axiomatics of classical set theory and its fragments (03E30) Foundations, relations to logic and deductive systems (18A15)

Cited in

(17)

• Categorie variabili
• Seven lectures on universal algebraic geometry
• Boolean information sieves: a local-to-global approach to quantum information
• Smooth coalgebra: testing vector analysis
• Unities and negation: On the representation of finite lattices
• A model for spacetime: the role of interpretation in some Grothendieck topoi
• Semicontinuous real numbers in a topos
• The evil twin: the basics of complement-toposes
• Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry
• Finitary topos for locally finite, causal and quantal vacuum Einstein gravity
• Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
• scientific article; zbMATH DE number 3614984 (Why is no real title available?)
• Logic in category theory
• From (paraconsistent) topos logic to universal (topos) logic
• The point of pointless topology
• Identical particles and the simplicial category
• scientific article; zbMATH DE number 3568873 (Why is no real title available?)

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 Q4138872)