Publication:4840146
From MaRDI portal
zbMath0828.18001MaRDI QIDQ4840146
Publication date: 18 July 1995
category; synthetic differential geometry; elementary topos; effective topos; category of categories
18B25: Topoi
18-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory
Related Items
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, Unnamed Item, On ordinal sums of partially ordered monoids: a unified approach to ordinal sum constructions of t-norms, t-conorms and uninorms, Categorical formulation of finite-dimensional quantum algebras, A categorical framework for the transformation of object-oriented systems: models and data, Two subcategories of apartness spaces, 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