A Systems Theoretical Formal Logic for Category Theory
Carlos Pedro Dos Santos Gonçalves
Instituto Superior de Ciências Sociais e Políticas, Technical University of Lisbon
Maria Odete Madeira
April 29, 2009
A systems theoretical thinking on the categorial object and morphism is developed, leading to a reflection on the philosophical and mathematical foundations of category theory, which allows for the introduction of a formal language for category theory and of a categorial calculus as a morphic web-based logical calculus. A formal system, built from such calculus, is proposed and the logical semantics is addressed. Both syntax and semantics are independent from set theory.
Number of Pages in PDF File: 31
Keywords: System, object, morphism, morphic web, individuation, entity, identity, categories, n-categories
JEL Classification: C00, C02working papers series
Date posted: April 30, 2009
© 2013 Social Science Electronic Publishing, Inc. All Rights Reserved.
This page was processed by apollo7 in 0.703 seconds