Lieu: salle CYCL02 du b\u00e2timent Marc de Hemptinne, Universit\u00e9 catholique de Louvain, Chemin du cyclotron 2, 1348, Louvain-la-Neuve, Belgique.<\/p>\n
Organisation: Marino Gran, Tim Van der Linden et Enrico Vitale<\/p>\n
Programme:<\/p>\n
09h15 – Acceuil
\n09h30 – Jean B\u00e9nabou – Propri\u00e9t\u00e9s locales des foncteurs
\n10h20 – Zurab Janelidze – Homological Algebra via Bifibrations
\n11h10 – Caf\u00e9
\n11h40 – Diana Rodelo – A homological lemma for 2-star-permutable categories
\n12h30 – D\u00e9jeuner
\n14h30 – Isar Stubbe – Quantales de Grothendieck
\n15h20 – Simona Paoli – Bicat\u00e9gories et cat\u00e9gories doubles faiblement globulaires
\n16h10 – Caf\u00e9
\n16h40 – Giuseppe Rosolini – Sober inside
\n17h30 – Fin<\/p>\n
R\u00e9sum\u00e9s:<\/p>\n
Jean B\u00e9nabou – Propri\u00e9t\u00e9s locales des foncteurs – Soit $\\mathcal{P}$ une classe de foncteurs. On dit qu’un foncteur $F\\colon \\mathbb{X} \\to \\mathbb{Y}$ est localement dans $\\mathcal{P}$<\/em> ssi, pour tout objet $X$ de $\\mathbb{X}$, le foncteur \u00e9vident $F\/X \\colon \\mathbb{X}\/X \\to \\mathbb{Y}\/F(X)$ est dans $\\mathcal{P}$. On note $L(\\mathcal{P} )$ la classe des foncteurs localement dans $\\mathcal{P}$, et on dit que $\\mathcal{P}$ est locale<\/em> si $\\mathcal{P} = L(\\mathcal{P} )$. On \u00e9tudie la correspondance $\\mathcal{P}\\to L(\\mathcal{P} )$. Le point le plus “utile” est que $L(L(\\mathcal{P} )) = L(\\mathcal{P} )$. Donc $\\mathcal{P}$ est locale ssi il existe $\\mathcal{Q}$ tel que $\\mathcal{P} = L(\\mathcal{Q})$. Mais $\\mathcal{Q}$ peut \u00eatre tr\u00e8s diff\u00e9rente de $\\mathcal{P}$, et beaucoup plus simple. Ceci permet de montrer qu’un tr\u00e8s grand nombre de classes $\\mathcal{P}$ sont locales et d’\u00e9tudier leurs propri\u00e9t\u00e9s en les \u00e9crivant sous la forme $L(\\mathcal{Q})$ et en utilisant les propri\u00e9t\u00e9s de $\\mathcal{Q}$ et de la correspondance $\\mathcal{Q} \\to L(\\mathcal{Q})$. De tr\u00e8s nombreux exemples et applications de ce processus seront donn\u00e9s.<\/p>\n Zurab Janelidze – Homological Algebra via Bifibrations – In a recent book by M. Grandis, called “Homological Algebra In Strongly Non-Abelian Settings”, some fundamental aspects of homological algebra are extended and clarified in a hierarchy of general categorical contexts which include many non-abelian categories of structures arising in algebraic topology. This hierarchy is given by carefully chosen axioms on a category equipped with an ideal of morphisms, where an “ideal of morphisms” is a class of morphisms closed under composition with arbitrary morphisms, as defined in a paper of C. Ehresmann published in 1964 and in a paper of R. Lavendhomme published in 1965 (an enriched version of this notion for additive categories was also considered in a paper by G. M. Kelly published in 1965; in the case of a single-object category, Kelly’s ideals are the usual ideals of unitary rings). There is also another hierarchy of non-abelian categorical contexts where some aspects of homological algebra have been developed, whose roots again go back to 1960’s to the so-called “old axioms” for semi-abelian categories. An advantage of the former work is that the categorical contexts there are self-dual. An advantage of the latter work is that it makes a fundamental use of limits and colimits (as clarified by the presentation of a semi-abelian category via “new axioms” as a protomodular category in the sense of D. Bourn which is pointed, Barr exact and has binary sums), which allows close interaction with other axiomatic investigations in categorical and universal algebra. In the introduction of the above-mentioned book, M. Grandis writes: “It would be good to have a clearer understanding of the cleavage between these two approaches.” In fact, these two approaches could have a common foundation. This would lead to an extension of homological algebra to categories equipped with a Grothendieck (bi)fibration.<\/p>\n Diana Rodelo – A homological lemma for 2-star-permutable categories – 2-star-permutable categories were introduced in a joint work with Z. Janelidze and A. Ursini as a common generalisation of regular Mal\u2019tsev categories and normal subtractive categories. We give a general homological lemma which characterises the star-regular categories which are 2-star-permutable. As special instances, this result gives the characterisation of normal subtractive categories through the 3 x 3 Lemma as well as the characterisation of regular Mal\u2019tsev categories through the Cuboid Lemma. (Joint work with Marino Gran.)<\/p>\n Isar Stubbe – Quantales de Grothendieck – Un treillis local $L$ est \u00e0 la fois un ordre partiel $(L,\\leq)$ et un mono\u00efde $(L,\\wedge,\\top)$. La relation entre ces deux manifestations de $L$ est que l’ensemble ordonn\u00e9 est exactement la cat\u00e9gorie des adjoints \u00e0 gauche dans la compl\u00e9tion pour idempotents scind\u00e9s du mono\u00efde. Ceci se g\u00e9n\u00e9ralise aux topologies de Grothendieck: tout site d\u00e9termine, et est d\u00e9termin\u00e9 par, un quantalo\u00efde de cribles ferm\u00e9s, qui \u00e0 son tour est toujours la compl\u00e9tion pour idempotents scind\u00e9s d’un quantale particulier. Ces derniers sont les ‘quantales de Grothendieck’ du titre de l’expos\u00e9. (Travail en collaboration avec Hans Heymans.)<\/p>\n Simona Paoli – Bicat\u00e9gories et cat\u00e9gories doubles faiblement globulaires – Several notions of weak 2-categories exist in the literature. Among these are the classical notion of bicategory as well as the one of Tamsamani weak 2-category, which have been shown to be suitably equivalent by Lack and Paoli. We introduce a new notion of weak 2-category as a subcategory of double categories, which we call weakly globular. We then show that weakly globular double categories are suitably equivalent to Tamsamani weak 2-categories and thus to bicategories. This affords a new type of rigidification of a bicategory. We then explore this notion to define a weakly globular double category of fractions for a category with a chosen class of arrows. We conclude with a homotopical application to the modeling of 2-types. This is joint work with Dorette Pronk.<\/p>\n Giuseppe Rosolini – Sober inside – The category of equilogical spaces, originally introduced by Dana Scott in his fundamental paper on Data Types as Lattices, is a locally cartesian closed extension of the category of topological spaces. Hence in that category, it is straightforward to consider spaces of continuous functions without bothering if they are topological. We test the power of this extension with the notion of sober topological space, producing a synthetic characterization of those topological spaces which are sober in terms of a construction on equilogical spaces of functions. This is joint work with Anna Bucalo.<\/p>\n Participants:<\/p>\n Jean B\u00e9nabou (Paris) Lieu: salle CYCL02 du b\u00e2timent Marc de Hemptinne, Universit\u00e9 catholique de Louvain, Chemin du cyclotron 2, 1348, Louvain-la-Neuve, Belgique. Organisation: Marino Gran, Tim Van der Linden et Enrico Vitale Programme: 09h15 – Acceuil 09h30 – Jean B\u00e9nabou – Propri\u00e9t\u00e9s locales des foncteurs 10h20 – Zurab Janelidze – Homological Algebra via Bifibrations 11h10 – Caf\u00e9 11h40 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":96,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=\/wp\/v2\/pages\/552"}],"collection":[{"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=552"}],"version-history":[{"count":0,"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=\/wp\/v2\/pages\/552\/revisions"}],"up":[{"embeddable":true,"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=\/wp\/v2\/pages\/96"}],"wp:attachment":[{"href":"https:\/\/www-lmpa.univ-littoral.fr\/~sic\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=552"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nFrancis Borceux (Louvain-la-Neuve)
\nAlan Cigoli (Milano)
\nRoland Cazalis (Namur)
\nCorentin Drugmand (Louvain-la-Neuve)
\nMathieu Duckerts (Louvain-la-Neuve)
\nAndr\u00e9e Charles Ehresmann (Amiens)
\nVal\u00e9rian Even (Louvain-la-Neuve)
\nTomas Everaert (Brussel)
\nMarino Gran (Louvain-la-Neuve)
\nZurab Janelidze (Stellenbosch)
\nGabriel Kadjo (Louvain-la-Neuve)
\nRudger Kieboom (Brussel)
\nBruno Loiseau (Valenciennes)
\nSandra Mantovani (Milano)
\nNelson Martins-Ferreira (Leiria)
\nGiuseppe Metere (Palermo)
\nAndrea Montoli (Coimbra)
\nOlivette Ngaha (Louvain-la-Neuve)
\nSimona Paoli (Leicester)
\nDiana Rodelo (Faro)
\nGiuseppe Rosolini (Genova)
\nMark Sioen (Brussel)
\nIsar Stubbe (Calais)
\nTim Van der Linden (Louvain-la-Neuve)
\nEnrico Vitale (Louvain-la-Neuve)
\nMichael Wright (Foug\u00e8res)<\/p>\n","protected":false},"excerpt":{"rendered":"