Internal diagrams and archetypal reasoning in category theory

DOI10.1007/S11787-013-0083-ZzbMath1301.03071OpenAlexW2089834759MaRDI QIDQ382414

Eduardo Ochs

Publication date: 19 November 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-013-0083-z

zbMATH Keywords

diagrammatic reasoningsynthetic differential geometrycategorical semanticsformalizing mathematical intuitionhyperdoctrinesterm inference

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Synthetic differential geometry (51K10)

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The geometry of tensor calculus. I
• Categorical logic and type theory
• Tool and object. A history and philosophy of category theory
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Adjointness in Foundations
• A simple axiomatics for differentiation.
• Parametricity and dependent types
• Category Theory

This page was built for publication: Internal diagrams and archetypal reasoning in category theory