scientific article; zbMATH DE number 776168

MaRDI QIDQ4840146zbMATH OpenFDO

Authors Colin McLarty

Publication date 18 July 1995

zbMATH Keywords

categorycategory of categorieseffective toposelementary topossynthetic differential geometry

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Topoi (18B25)

Cited in

(17)

• The mathematical descriptions of truth and change
• Algebra of gauge theories
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• Quasi-apartness and neighbourhood spaces
• Completeness of -categories and the complex numbers
• Model transformation and induced instance migration: a universal framework
• True V or Not True V, That Is the Question
• Prospects for triviality
• The evil twin: the basics of complement-toposes
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
• From (paraconsistent) topos logic to universal (topos) logic
• Categorical formulation of finite-dimensional quantum algebras
• On ordinal sums of partially ordered monoids: a unified approach to ordinal sum constructions of t-norms, t-conorms and uninorms
• scientific article; zbMATH DE number 7706663 (Why is no real title available?)
• A categorical framework for the transformation of object-oriented systems: models and data
• Category-theoretic aspects of abstract elementary classes
• Two subcategories of apartness spaces

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