• 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

  • #####################################################


    # #


    # 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
  • (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