scientific article

zbMath0762.18001MaRDI QIDQ4003736

Colin McLarty

Publication date: 18 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

categorysynthetic differential geometryelementary toposeffective toposcategory of categories

Mathematics Subject Classification ID

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

Related Items (25)

An Axiomatic Approach to Fuzzy Measures Like Set Cardinality for Finite Fuzzy Sets ⋮ Monadic vs adjoint decomposition ⋮ Logic in Category Theory ⋮ Infinitesimals and the continuum ⋮ What is the world of mathematics? ⋮ On the dependent product in toposes ⋮ Category theory in Isabelle/HOL as a basis for meta-logical investigation ⋮ Comprehending the Connection of Things: Bernhard Riemann and the Architecture of Mathematical Concepts ⋮ Unnamed Item ⋮ An abstract cell model that describes the self-organization of cell function in living systems ⋮ Mathematical structures of simple voting games ⋮ Reflection principles for synthetic theories of smooth manifolds ⋮ Splitting idempotents in a fibered setting ⋮ Defining effectiveness using finite sets. A study on computability ⋮ CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS ⋮ How to be a structuralist all the way down ⋮ The geometry of anabelioids ⋮ On the structure of categories of coalgebras ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ On sheaf cohomology and natural expansions ⋮ Auslander-Reiten theory in quasi-abelian and Krull-Schmidt categories ⋮ On three arguments against categorical structuralism ⋮ Categorial independence and Lévy processes ⋮ On Metalogical Relativism ⋮ An exactification of the monoid of primitive recursive functions

This page was built for publication: