scientific article; zbMATH DE number 3995941

MaRDI QIDQ4723931zbMATH OpenFDO

Authors Steven Vickers, Michael Paul Fourman

Publication date 1986

zbMATH Keywords

classifying topoï

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Logic and categories as tools for building theories
• scientific article; zbMATH DE number 4027466
• A categorical manifesto
• scientific article; zbMATH DE number 67034
• A categorial approach to the theory of computation

Cited in

(8)

• Continuity and geometric logic
• Computer Aided Systems Theory – EUROCAST 2005
• scientific article; zbMATH DE number 1038419 (Why is no real title available?)
• scientific article; zbMATH DE number 431773 (Why is no real title available?)
• Categories in Context: Historical, Foundational, and Philosophical
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• Logic and categories as tools for building theories
• scientific article; zbMATH DE number 6682751 (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 Q4723931)