Abstract

  
 

References (12)



 


 



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


Massacritica, Lda.
April 29, 2009


Abstract:     
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, C02

working papers series


Download This Paper

Date posted: April 30, 2009  

Suggested Citation

Gonçalves, Carlos Pedro Dos Santos and Madeira, Maria Odete, A Systems Theoretical Formal Logic for Category Theory (April 29, 2009). Available at SSRN: http://ssrn.com/abstract=1396841 or http://dx.doi.org/10.2139/ssrn.1396841

Contact Information

Carlos Pedro Dos Santos Gonçalves (Contact Author)
Instituto Superior de Ciências Sociais e Políticas, Technical University of Lisbon ( email )
Rua Almerindo Lessa
1300-663 Lisboa
Portugal
HOME PAGE: http://sites.google.com/site/carlospedrogoncalves/
Maria Odete Madeira
Massacritica, Lda. ( email )
Lisbon
Portugal
Feedback to SSRN (Beta)


Paper statistics
Abstract Views: 865
Downloads: 212
Download Rank: 70,326
References:  12
Paper comments
No comments have been made on this paper

© 2013 Social Science Electronic Publishing, Inc. All Rights Reserved.  FAQ   Terms of Use   Privacy Policy   Copyright
This page was processed by apollo7 in 0.703 seconds