Category Theory in Physics, Mathematics, and Philosophy

  • Marek Kuś
  • Bartłomiej Skowron
Conference proceedings CTPMP 2017

Part of the Springer Proceedings in Physics book series (SPPHY, volume 235)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Marek Kuś, Bartłomiej Skowron, Krzysztof Wójtowicz
    Pages 1-19
  3. Zbigniew Król
    Pages 21-32
  4. Neil Dewar, Samuel C. Fletcher, Laurenz Hudetz
    Pages 63-81
  5. Michael Heller, Jerzy Król
    Pages 95-103

About these proceedings


The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes.

The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations.

Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science.


Categorical Ontology Formal Ontology Chord diagrams dynamic ontologies Fraisse theory Topos theory

Editors and affiliations

  • Marek Kuś
    • 1
  • Bartłomiej Skowron
    • 2
  1. 1.Center for Theoretical PhysicsPolish Academy of SciencesWarsawPoland
  2. 2.Faculty of Administration and Social Sciences, International Center for Formal OntologyWarsaw University of TechnologyWarsawPoland

Bibliographic information

Industry Sectors
Energy, Utilities & Environment