From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7913 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Ren=E9_Guitart?= Newsgroups: gmane.science.mathematics.categories Subject: annonce du prochain sic Date: Sat, 9 Nov 2013 16:33:12 +0100 Message-ID: Reply-To: =?iso-8859-1?Q?Ren=E9_Guitart?= NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1384098693 15311 80.91.229.3 (10 Nov 2013 15:51:33 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Nov 2013 15:51:33 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Nov 10 16:51:35 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VfXIT-0004vf-AI for gsmc-categories@m.gmane.org; Sun, 10 Nov 2013 16:51:33 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:57354) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1VfXHe-0004ak-6u; Sun, 10 Nov 2013 11:50:42 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1VfXHd-0007tR-2V for categories-list@mlist.mta.ca; Sun, 10 Nov 2013 11:50:41 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7913 Archived-At: S=E9minaire Itin=E9rant de Cat=E9gories Journ=E9e d=E9di=E9e =E0 Jacques Riguet (1921-2013) Samedi 16 novembre 2013, Universit=E9 Paris Diderot, b=E2timent = Condorcet, salle 366A-Klimt Renseignements : R. Guitart (rene.guitart@orange.fr), A. Kh=E9lif = (khelif@math.univ-paris-diderot.fr), J.-P. Laffineur = (jplaf@algconseil.com). Nota bene : tout personne d=E9sirant assister aux expos=E9s doit avertir = l'un des organisateurs, afin de figurer sur la liste d'acc=E8s confi=E9e = =E0 la surveillance du b=E2timent.=20 9h30 : Ouverture : D=E9dicace =E0 Jacques Riguet. 9h40-10h25 : Andrea Montoli - Sous-objets caract=E9ristiques dans les = cat=E9gories semi-ab=E9liennes. Nous =E9tendons aux cat=E9gories = semi-ab=E9liennes la notion de sous-objet caract=E9ristique, qui est = largement utilis=E9e dans la th=E9orie des groupes et dans celle des = alg=E8bres de Lie. En plus, nous montrons que beaucoup des propri=E9t=E9s = classiques des sous-groupes caract=E9ristiques d'un groupe sont valides = dans le cadre g=E9n=E9ral semi-ab=E9lien, ou dans des contextes plus = forts. Travail en collaboration avec Alan S. Cigoli. 10h30-11h15 : Corentin Drugmand - Relations d' _=E9quivalence libres = internes =E0 une 2-cat=E9gorie et objets quotients associ=E9s. La = notion de relation d' =E9quivalence interne =E0 une 2-cat=E9gorie est un = concept produit il y a peu par E. Vitale. Soit C une 2-cat=E9gorie avec = produits fibr=E9s et produits binaires (au sens des bilimites) et soit X = _ C. L'objectif est ici de construire un 2-adjoint =E0 gauche au = 2-foncteur d'oubli U : EqRel(X) _ Rel(X) entre la 2-cat=E9gorie des = relations d'=E9quivalences internes sur X et celle des relations = internes sur ce m=EAme objet. Pour ce faire, on introduit les notions de = morphismes internes et de 2-morphisme internes. On observe alors que le = 2-foncteur U n'est pas localement une =E9quivalence de groupo=EFdes. Une = cons=E9quence particuli=E8re de ce fait est que dans la 2-cat=E9gorie = Grpd des groupo=EFdes, l'objet quotient n'est pas le co=E9galisateur de = la relation, mais plut=F4t un groupo=EFde quotient de ce co=E9galisateur. 11h25-12h10 : Marino Gran - Star-r=E9gularit=E9 et compl=E9tion = r=E9guli=E8re. Dans ce travail en collaboration avec Zurab Janelidze = nous donnons une nouvelle caract=E9risation des cat=E9gories = star-r=E9guli`eres [1,2] en utilisant une propri=E9t=E9 des graphes = r=E9flexifs internes. Comme application nous obtenons une = caract=E9risation de la star-r=E9gularit=E9 des cat=E9gories = multi-point=E9es qui sont la compl=E9tion r=E9guli=E8re d'une cat=E9gorie = avec limites finies faibles [3]. On en d=E9duit que la star-r=E9gularit=E9= est invariante par compl=E9tion r=E9guli=E8re et, en particulier, = qu'une cat=E9gorie r=E9guli=E8re est normale [4] si et seulement si sa = compl=E9tion r=E9guli=E8re est normale. Bibliographie : [1] M. Gran, Z. Janelidze et A. Ursini, A good theory of = ideals in multi-pointed regular categories, JPAA 216 (2012) 1905-1919. = [2] M. Gran et O. Ngaha Ngaha, Effective descent morphisms in = star-regular categories, Homology, Homotopy and Applications (2013), = accept=E9 pour publication. [3] A. Carboni et E.M. Vitale, Regular and = exact completions, JPAA 125 (1998) 79-116. [4] Z. Janelidze, The pointed = subobject functor, 3x3 lemmas, and subtractivity of spans, TAC 23 (2010) = 221-242. 14h10-14h55 : Andrei Rodin - Tout objet est une fl=E8che, toute fl=E8che = est un objet. Un objet g=E9om=E9trique peut =EAtre pens=E9 comme une = application depuis un type vers un espace de repr=E9sentation ; donc = quand un espace s'applique dans un autre espace, il devient un type. = Cette observation r=E9v=E8le une dualit=E9 entre logique et g=E9om = =E9trie, qui sous-tend diverses versions de logique cat=E9gorique, = incluant la logique des topos et la th=E9orie homotopique des types. = Cette dualit=E9 procure une base pour la m=E9thode axiomatique moderne, = laquelle diff=E8re de celle classique de Hilbert, mais partage quelques = aspects avec la m=E9thode euclidienne. 15h-15h45 : Tim Van der Linden - Une approche intrins=E8que des produits = tensoriels. Quand la notion de produit tensoriel est =E9tudi=E9e d'un = point de vue cat=E9gorique, d'habitude elle est trait=E9e ou bien comme = structure additionnelle sur une cat=E9gorie - ce qui m=E8ne vers la = th=E9orie des cat=E9gories mono=EFdales et enrichies - ou bien d'une = fa=E7on ad-hoc en termes d'alg=E8bres libres. Pour autant que je sache, = jusqu'=E0 pr=E9sent, aucune construction interne en termes de limites et = colimites n'a =E9t=E9 propos=E9e. Le but de mon expos=E9 est de faire = exactement ceci. Je vais d'abord donner une construction g=E9n=E9rale = d'un tel produit tensoriel intrins=E8que, bas=E9e sur les travaux [1, 2, = 3] dans le cadre des cat=E9gories semi-ab=E9liennes [4]. Ensuite je = donnerai un aper=E7u des exemples principaux et une esquisse de quelques = applications. (Travail en collaboration avec Manfred Hartl). [1] A. Carboni and G. Janelidze, Smash product of pointed objects in = lextensive categories, JPAA 183 (2003), 27-43. [2] M. Hartl and B. = Loiseau, On actions and strict actions in homological categories, TAC 27 = (2013), no. 15, 347-392. [3] M. Hartl and T. Van der Linden, The ternary = commutator obstruction for internal crossed modules, Adv. Math. 232 = (2013), no. 1, 571-607. [4] G. Janelidze, L. Ma _rki, and W. Tholen, = Semi-abelian categories, JPAA 168 (2002), no. 23, 367-386. 15h55-16h40 : Simon Henry - Topos, Quantales et C_-alg=E8bres : le cas = atomique. Les topos et les C_-alg=E8bres sont deux g=E9n=E9ralisations = possibles de la notion d'espace topologique et il est assez naturel de = se demander s'il existe une relation entre ces deux th=E9ories. On = s'int=E9resse ici =E0 la possibilit=E9 d'attacher =E0 un topos une = C_-alg=E8bre construite comme une alg=E8bre de convolution sur une = quantale associ=E9e =E0 ce topos. On se focalisera sur le cas le plus = simple de cette construction, celui d'un topos atomique. On montrera que = dans cette situation les alg=E8bres produites portent plusieurs = structures : une sous alg=E8bre d=E9finie sur Z, li=E9e =E0 de la = combinatoire interne au topos, et une =E9volution temporelle naturelle = qui fait d'elle un syst=E8me dynamique quantique. Le syst=E8me de = Bost-Connes est un exemple typique des alg=E8bres apparaissant par ce = proc=E9d=E9. 16h45-17h30 : Olivia Caramello - Th=E9ories de type pr=E9faisceau. On = introduira la classe des th=E9ories de type pr=E9faisceau (c'est-=E0-dire = la classe des th=E9ories qui sont classifi=E9es par un topos de = pr=E9faisceaux) en discutant plusieurs exemples appartenant =E0 des = domaines math=E9matiques tr=E8s diff=E9rents. Les th=E9ories de ce type = occupent une place centrale dans la mesure o=F9 toute th=E9orie = g=E9om=E9trique peut s'=E9crire comme quotient d'une th=E9orie de type = pr=E9faisceau. On pr=E9sentera ensuite un th=E9or=E8me donnant des = conditions explicites n=E9cessaires et suffisantes pour qu'une th=E9orie = soit de type pr=E9faisceau, et on discutera diverses cons=E9quences et = applications de ce th=E9or=E8me. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]