Categories without Structures

Philosophia Mathematica 19 (1):20-46 (2011)
  Copy   BIBTEX

Abstract

The popular view according to which category theory provides a support for mathematical structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics studies ‘invariant form’ (Awodey) categorical mathematics studies covariant and contravariant transformations which, generally, have no invariants. In this paper I develop a non-structuralist interpretation of categorical mathematics

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-07-31

Downloads
134 (#134,268)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrei Rodin
Russian Academy of Sciences

References found in this work

Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Background.[author unknown] - 2004 - The Chesterton Review 30 (3-4):411-413.
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.

View all 23 references / Add more references