BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TCS seminar//EN
X-WR-CALNAME:TCS Seminar
METHOD:PUBLISH
BEGIN:VEVENT
UID:2022-06-07T14:00+01:00@lix.polytechnique.fr
ORGANIZER;CN="Samuel Mimram":MAILTO:samuel.mimram@lix.polytechnique.fr
LOCATION:Nicole Reine Lepaute
SUMMARY:Central Submonads and Notions of Computation
DESCRIPTION:The notion of "centre" has been introduced for many algebraic structures in mathematics. A notable example is the centre of a monoid which always determines a commutative submonoid. Monads (in category theory) can be seen as generalisations of monoids and in this paper we show how the notion of centre may be extended to strong monads acting on symmetric monoidal categories. We show that the centre of a strong monad T, if it exists, determines a commutative submonad Z of T , such that the Kleisli category of Z is isomorphic to the premonoidal centre (in the sense of Power and Robinson) of the Kleisli category of T. We provide three equivalent conditions which characterise the existence of the centre of T. While not every strong monad admits a centre, we show that every strong monad on well-known naturally occurring categories does admit a centre, thereby showing that this new notion is ubiquitous. We also provide a computational interpretation of our ideas which consists in giving a refinement of Moggi’s monadic metalanguage. The added benefit is that this allows us to immediately establish a large class of contextually equivalent terms for monads that admit a non-trivial centre by simply looking at the richer syntactic structure provided by the refinement.
CLASS:PUBLIC
DTSTART:TZID=Europe/Paris:20220607T140000
DTEND:TZID=Europe/Paris:20220607T140000
DTSTAMP:TZID=Europe/Paris:20220607T140000
SEQUENCE:189
END:VEVENT
BEGIN:VEVENT
UID:2022-05-19T14:00+01:00@lix.polytechnique.fr
ORGANIZER;CN="Samuel Mimram":MAILTO:samuel.mimram@lix.polytechnique.fr
LOCATION:Nicole Reine Lepaute
SUMMARY:An introduction to delta lenses
DESCRIPTION:Delta lenses are functors equipped with a suitable choice of lifts, and were first introduced in 2011 to model so-called bidirectional transformations between systems. In this talk, I will provide an introduction to several category-theoretic perspectives of delta lenses which were developed throughout my PhD research. Categories, functors, and delta lenses organise into a double category, and I will demonstrate how many interesting properties of delta lenses may be studied via this two-dimensional categorical structure.
CLASS:PUBLIC
DTSTART:TZID=Europe/Paris:20220519T140000
DTEND:TZID=Europe/Paris:20220519T140000
DTSTAMP:TZID=Europe/Paris:20220519T140000
SEQUENCE:189
END:VEVENT
BEGIN:VEVENT
UID:2022-04-21T14:15+01:00@lix.polytechnique.fr
ORGANIZER;CN="Samuel Mimram":MAILTO:samuel.mimram@lix.polytechnique.fr
LOCATION:Nicole Reine Lepaute
SUMMARY:Abstract strategies and formal coherence
DESCRIPTION:Kleene algebra have widespread use in mathematics and computer science, from formal language theory to program correctness. Following formalisations of abstract rewriting results in modal Kleene algebra, globular 2-Kleene algebras were introduced, providing a formal setting for reasoning about coherence proofs in abstract rewriting systems. On the other hand, normalisation strategies give a categorical interpretation of the notion of contracting homotopies, constructed via confluent and terminating rewriting. This approach relates standardisation to coherence results in the context of higher dimensional rewriting systems. In this work, we formalise the notion of normalisation strategy in the setting of globular 2-Kleene algebras. In such structures, normalisation strategies allow us to prove a formal coherence theorem via convergent abstract rewriting.
CLASS:PUBLIC
DTSTART:TZID=Europe/Paris:20220421T141500
DTEND:TZID=Europe/Paris:20220421T141500
DTSTAMP:TZID=Europe/Paris:20220421T141500
SEQUENCE:189
END:VEVENT
BEGIN:VEVENT
UID:2022-03-29T14:00+01:00@lix.polytechnique.fr
ORGANIZER;CN="Samuel Mimram":MAILTO:samuel.mimram@lix.polytechnique.fr
LOCATION:Nicole Reine Lepaute
SUMMARY:A Really Short Hike Through Model Theoretical Galois Theory
DESCRIPTION:Short talk about the Galois theory applied to models of first-order theories. Using symmetry arguments to express non-computability.
CLASS:PUBLIC
DTSTART:TZID=Europe/Paris:20220329T140000
DTEND:TZID=Europe/Paris:20220329T140000
DTSTAMP:TZID=Europe/Paris:20220329T140000
SEQUENCE:189
END:VEVENT
BEGIN:VEVENT
UID:2022-03-22T14:00+01:00@lix.polytechnique.fr
ORGANIZER;CN="Samuel Mimram":MAILTO:samuel.mimram@lix.polytechnique.fr
LOCATION:Nicole Reine Lepaute
SUMMARY:Why should study directed loop spaces?
DESCRIPTION:In the first part of the talk, we will discuss classical links of loop spaces with homotopy and (co)homology, together with recognition principle relating loop spaces and operads.In the second part, we will tentatively introduce analogous constructions and suggest possible developments in the context of directed spaces.
CLASS:PUBLIC
DTSTART:TZID=Europe/Paris:20220322T140000
DTEND:TZID=Europe/Paris:20220322T140000
DTSTAMP:TZID=Europe/Paris:20220322T140000
SEQUENCE:189
END:VEVENT
END:VCALENDAR