And (continuing "why on the categories mailing list?") it seems to some people (such as me) that what category theory actually is, is a formal description of the practice of mathematics, rather than a foundation for mathematics. It may do the latter as well (though I don't really believe so), but an account of the practice of mathematics would be far more philosophically interesting than a foundation. It would, for example, allow a dialogue between the philosophy of mathematics and the rest of philosophy, which has, for 30 or 40 years now, been much less foundational than it used to be. And it may even make category theory an important tool in philosophy generally. Graham On 24/07/15 05:12, Ralph Matthes wrote:
[why on the categories mailing list? some of the courses are strongly based on category theory, and it seems that quite some subscribers to this list are interested in connections between mathematics and philosophy]
Dear colleagues,
The thematic trimester CIPPMI "Current Issues in the Philosophy of Practice of Mathematics & Informatics" will be held from 4th April to 1st July 2016 at the Centre International de Math??matiques et d'Informatique de Toulouse (CIMI).
This thematic trimester is organised by an interdisciplinary team of researchers in Mathematics, Philosophy, and Computer Science from the Institut de Math??matiques de Toulouse (IMT) & the Institut de Recherche en Informatique de Toulouse (IRIT).
It will feature course sessions, workshops, and a thematic school on themes at the interface of Philosophy, Mathematics and Computer Science.
You will find all relevant information on the website of the thematic trimester that will be regularly updated: http://www.cimi.univ-toulouse.fr/cippmi/en
A mailing list allows you to receive the different announcements from CIPPMI: https://sympa.math.ups-tlse.fr/wws/info/cippmi
You can register at http://www.cimi.univ-toulouse.fr/cippmi/fr/inscriptionregistration
A funding for accommodation is available in priority for junior researchers and for some senior researchers without funding from their laboratory. For further information, please consult the page: http://www.cimi.univ-toulouse.fr/cippmi/fr/boursesgrants
With apologies for cross-posting, best regards, the CIPPMI scientific organisation committee.
---
Ralph Matthes
IRIT (CNRS & Univ. Toulouse) http://www.irit.fr/~Ralph.Matthes/
-- Graham White Electronic Engineering and Computer Science Queen Mary, University of London http://www.eecs.qmul.ac.uk/~graham/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]