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
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, A categorical framework for the transformation of object-oriented systems: models and data, Two subcategories of apartness spaces, 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