-
Par topos le 10 Octobre 2006 à 10:05
CT2007
INTERNATIONAL CATEGORY THEORY CONFERENCE
Hotel Tivoli Almansor, Carvoeiro (Algarve), Portugal
17-23 June 2007
In the tradition of previous meetings held in White Point (2006), Vancouver
(2004), Como (2000), Coimbra (1999), Vancouver (1997), Halifax (1995),
Tours (1994), Isle of Thorns (1992), Montreal (1991) and Como (1990), a
Conference on Category Theory will be held in Hotel Tivoli Almansor
(http://www.algarvetivolialmansor.com/), Carvoeiro, a village near the sea
in the region of Algarve (south of Portugal), from June 17 until June 23,
2007. We will take this occasion to celebrate the 70th birthday of F.
William Lawvere.
The arrival day is Sunday June 17. The scientific programme will begin
Monday morning, June 18, and will finish before lunch on Saturday June 23.
The programme will consist of conferences delivered by invited speakers and
contributed talks.
Scientific Committee:
Samson Abramsky (Oxford, UK)
Jirí Adámek (Braunschweig, Germany)
Francis Borceux (Louvain, Belgium)
George Janelidze (Cape Town, South Africa)
Steven Lack (Sydney, Australia)
Michael Makkai (Montreal, Canada)
Manuela Sobral (Coimbra, Portugal)
Ross Street (Sydney, Australia)
Walter Tholen (Toronto, Canada)
Updated information will be provided in the conference web page
http://www.mat.uc.pt/~categ/ct2007/
The Organizing Committee,
Diana Rodelo, University of Algarve (drodelo@ualg.pt)
Manuela Sobral, University of Coimbra (sobral@mat.uc.pt)
Maria Manuel Clementino, University of Coimbra (mmc@mat.uc.pt)
Jorge Picado, University of Coimbra (picado@mat.uc.pt)
Lurdes Sousa, IPViseu (sousa@infante.ipv.pt)
Maria João Ferreira, University of Coimbra (mjrf@mat.uc.pt)
Gonçalo Gutierres, University of Coimbra (ggutc@mat.uc.pt)
votre commentaire -
Par topos le 18 Juillet 2006 à 16:40
#####################################################
# #
# INTERNAL ACTIONS and INTERNAL STRUCTURES #
# #
# WORKSHOP in CATEGORICAL ALGEBRA #
# #
# 26th-27th-28th october 2006, Milano, Italy #
# #
#####################################################
The purpose of the workshop is to consider the notion of internal action in
different categorical contexts and to relate it with internal structures
defined thereby.
In particular, the well established context of semiabelian categories provides a
natural setting for studying the interplay between categorical and algebraic
aspects of actions, with respect to internal structures that may be defined.
Nevertheless, more general settings are worth to be considered ( lex pointed
categories with sums, protomodular categories...)
Keywords of the meeting are: the representability of actions, sufficient
conditions for their existence, universal actions, categorical semi-direct
product and constructions, internal groupoids and internal crossed modules,
internal commutator theory, cohomological implications.
The workshop is intended to reflect its etymology, in order to give the
participants a fruitful opportunity of debate and exchange experiences about
the subject.
That is the reason why after every lecture there will be time for informal
discussions.
The backbone of the meeting are the lectures of the invited speakers: Dominique
Bourn (Université du Littoral), Marino Gran (Université du Littoral) and Enrico
Vitale (Université Catholique LLN). Lectures are scheduled on Thursday 26th
and Friday 27th (morning and afternoon), and on Saturday 28th (only morning).
Attendance is open to everyone and other contributions on related topics will be
considered with pleasure.
The workshop will take place at the Math Department of Università degli Studi,
Milan, Italy.
Detailed program, logistic and further information will follow.
----------------------------------------------------------------------
Organizing committee: Stefano Kasangian, Sandra Mantovani, Giuseppe Metere.
For info, please contact the organizing committee to
milanworkshop.06@gmail.com
webpage:
http://users.mat.unimi.it/users/mantovani/workshopMi06.htm
votre commentaire -
Par topos le 26 Octobre 2005 à 14:41
(cliquer sur le titre pour visionner un document pdf : "Sets, classes and categories")
On sait que la philosophie de Badiou (qui de l'aveu même de ses détracteurs, et Dieu sait s'il y en a, à commencer par Sokal, possède une culture mathématique impressionnante) a des vues très arrêtées, et "révolutionnaires", sur le lien entre philosophie et mathématiques...passons les en revue brièvement :
1 les mathématiques sont l'ontologie, qui ne fait donc pas partie de la philosophie
2 les topoi (ces catégories découvertes il y a 40 ans par Grothendieck et Lawvere) forment le cadre de la logique de l'apparaitre, les ensembles celui de l'ontologie (discours sur l'Etre)
3 le système axiomatique retenu par Badiou est celui de Zermelo-Fraenkel, à l'exclusion semble t'il des autres "solutions" au paradoxe de Russell : theorie des types, axiomatique NBG de Von Neumann, Bernays et Gödel, "New foundations" de Quine, "Non well founded sets" d'Aczel, "univers" de Mac Lane ou Grothendieck, etc...
Bien entendu, on comprend que le philosophe fasse un choix (trace une diagonale dirait Badiou) dans la "forêt" proliférante des découvertes mathématiques.
Néanmoins il est absolument nécessaire, en ces matières, de laisser aussi la parole aux mathématiciens (ce que n'est pas Badiou, malgrès sa virtuosité technique), c'est bien la moindre des choses s'agissant...des mathématiques !
On doit rappeler par exemple que la plupart des mathématiciens "catégoristes" n'ont pas du tout la même évaluation épistémologique que Badiou : ils ne veulent tout simplement plus entendre parler des ensembles, ni en mode ZF ni en autre !
votre commentaire
Suivre le flux RSS des articles de cette rubrique
Suivre le flux RSS des commentaires de cette rubrique