Tool and object. A history and philosophy of category theory

zbMath1114.18001MaRDI QIDQ2508987

Ralf Krömer

Publication date: 23 October 2006

Published in: Science Networks. Historical Studies (Search for Journal in Brave)

zbMATH Keywords

algebraic topologycategory theoryalgebraic geometryfoundations of mathematicsphilosophy of mathematicshomological algebrahistory of mathematics (20th century)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Categorical logic, topoi (03G30) History of algebraic geometry (14-03) History of algebraic topology (55-03) History of category theory (18-03) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items (22)

Commutativity in double interchange semigroups ⋮ On Arbitrary sets andZFC ⋮ From problems to structures: the Cousin problems and the emergence of the sheaf concept ⋮ The role of symmetry in mathematics ⋮ Internal diagrams and archetypal reasoning in category theory ⋮ Shifted Sheaves for Space-Time ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Husserl, Intentionality and Mathematics: Geometry and Category Theory ⋮ Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics ⋮ The set of paths in a space and its algebraic structure. A historical account ⋮ Mathematical models of abstract systems: knowing abstract geometric forms ⋮ The ``Semesterberichte and the development of didactics of mathematics in the Federal Republic of Germany (1950--1980) ⋮ Stairway to heaven: the abstract method and levels of abstraction in mathematics ⋮ CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS ⋮ FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS ⋮ On Bourbaki's axiomatic system for set theory ⋮ A New–old Characterisation of Logical Knowledge ⋮ The structuralist mathematical style: Bourbaki as a case study ⋮ Grothendieck toposes as unifying `bridges': a mathematical morphogenesis ⋮ A topos for algebraic quantum theory ⋮ L’équivalence duale de catégories: A Third Way of Analogy? ⋮ A Typology of Mathematical Diagrams

This page was built for publication: Tool and object. A history and philosophy of category theory