Logo

Mathematical Sciences Research Institute

Home > Scientific > Colloquia & Seminars > All Colloquia & Seminars

All Colloquia & Seminars

Current Seminars

  1. HC Seminar: Operadic Categories and Applications

    Location: MSRI: Baker Board Room
    Speakers: Martin Markl (Czech Academy of Sciences (AVCR))

    The fundamental feature of operadic categories is that the objects under study are viewed as algebras over (generalized) operads in a specific operadic category. For instance, operads are algebras over the terminal operad in the operadic category of rooted trees, modular operads are algebras over the terminal operad in the operadic
    category of genus-graded connected graphs, wheeled PROPs are algebras over directed graphs, &c. Moreover, operadic categories provide natural environments for Batanin's n-operads, tubings on a graph, decomposition spaces, decalage comonads, and other exotic structures. Operadic categories offer a concise framework for constructing infinity versions of operad-like objects. Operadic Grothendieck's construction is available as a powerful tool for obtaining new operadic categories from old ones. 

    Updated on Feb 13, 2020 12:00 PM PST
  2. HC - (infinity,2)-categories Working Group: The Gray tensor product for 2-quasi-categories

    Location: MSRI: Simons Auditorium
    Speakers: Yuki Maehara (Macquarie University)

    The (lax) Gray tensor product (or more accurately its associated closed structure) plays a crucial role in, among other things, Street's formal theory of monads. The goal of this talk is to homotopify the statement "the Gray tensor product forms part of a monoidal closed structure on 2-Cat" into a 2-quasi-categorical version, with an eye towards developing the formal theory of homotopy coherent monads.

    The first half of the talk will be devoted to describing the main combinatorial tool I used to prove this result, namely Oury's inner horns. These horns provide a combinatorially tractable characterisation of Ara's model structure.

     

    Bibliography:

    Dimitri Ara. Higher quasi-categories vs higher Rezk spaces. Journal of K-Theory. K-Theory and its Applications in Algebra, Geometry, Analysis & Topology, 14(3):701, 2014.

    John W. Gray. Formal category theory: adjointness for 2-categories. Lecture Notes in Mathematics, Vol. 391. Springer-Verlag, Berlin-New York, 1974.

    David Oury. Duality for Joyal’s category Θ and homotopy concepts for Θ_2-sets. PhD thesis, Macquarie University, 2010.

    Ross Street. The formal theory of monads. J. Pure Appl. Algebra, 2(2):149–168, 1972.

    Updated on Feb 13, 2020 11:52 AM PST
  3. 5-Minute Talks

    Location: MSRI: Simons Auditorium
    Updated on Feb 12, 2020 03:39 PM PST

Upcoming Seminars

  1. HC Special Seminar - HoTT Electronic Seminar Talks (HoTTEST): The Constructive Kan-Quillen Model Structure

    Location: MSRI: Baker Board Room
    Speakers: Karol Szumilo (Rheinische Friedrich-Wilhelms-Universität Bonn)

    The classical Kan--Quillen model structure on the category of simplicial sets is a fundamental object in homotopy theory. Many proofs of its existence have been found, but (until recently) all of them relied on principles of classical logic: the law of excluded middle and the axiom of choice. For the purposes of interpretation of Homotopy Type Theory, such arguments were insufficient.

    A fully constructive proof is possible, but it requires a careful adjustment of the definitions of cofibrations and weak homotopy equivalences of simplicial sets. In the talk, I will outline one such constructive argument, explaining how various standard techniques of simplicial homotopy theory need to be adapted to constructive logic.

    This is joint work with Nicola Gambino and Christian Sattler, inspired by Simon Henry who was the first to obtain the result.

    Updated on Feb 18, 2020 08:40 AM PST
  2. HC - (infinity,2)-categories Working Group: Cartesian fibrations of (oo,2)-categories

    Location: MSRI: Simons Auditorium
    Speakers: Edoardo Lanari (Czech Academy of Sciences (AVCR))

    The problem of dealing with infinitely many coherence constraints in oo-category theory when trying to define oo-functors has lead to a fibrational approach, in which one represents diagrams of the form B-->Cat_oo as a suitable kinds of fibrations over B. While this is a theorem, due to Lurie, in the case of oo-categories (i.e. (oo,1)-categories), so far there has been no combinatorial definition of  cartesian fibrations of (oo,2)-categories.

    In this talk, we will define cartesian fibrations in this context, prove some of their basic properties and show they are equivalent (under a suitable equivalence of (oo,2)-categories) to the counterpart in the context of categories enriched over marked simplicial sets (where the definition is given, mutatis mutandis, based on what happens with 2-categories). Furthermore, we will prove some statements made by Gaitsgory and Rozemblyum concerning locally cartesian fibrations and (oo,2)-categories fibred over (oo,1)-categories, with the intent of substantiating the validity of our definition.

    Updated on Feb 13, 2020 11:54 AM PST
  3. HC & QS - Blob Homology: Modules and gluing

    Location: MSRI: Baker Board Room
    Speakers: Scott Morrison (Australian National University), Kevin Walker (Microsoft Research Station Q)

    I'll describe modules for disklike categories, and then how to use modules as boundary data for the blob complex. This leads to a natural gluing formula.

    Updated on Feb 13, 2020 12:02 PM PST
  4. 5-Minute Talks

    Location: MSRI: Simons Auditorium
    Updated on Feb 12, 2020 03:39 PM PST
  5. QS - Seminar: Understanding fusion categories with elementary number theory

    Location: MSRI: Simons Auditorium
    Speakers: Andrew Schopieray (University of New South Wales)

    I will explain several new results about fusion rings and all flavors of fusion category using number theory so elementary that proper number theorists have audibly laughed when I called it that.  Most of these results are theorems about weakly integral fusion, braided, or modular tensor categories C, restated so that FPdim(C) can live freely in your favorite totally real algebraic number field.  Highlights include a dimensional grading for all fusion rings, bounds on the order of multiplicative central charge based on FPdim(C), and proof that all of the dimensions appearing in the fusion categories coming from quantum groups are kind of boring.  Please encourage attendance by graduate students as I will discuss many approachable open problems. (joint work with Terry Gannon)

    Updated on Feb 13, 2020 04:51 PM PST
  6. 5-Minute Talks

    Location: MSRI: Simons Auditorium
    Updated on Feb 12, 2020 03:40 PM PST
  7. 5-Minute Talks

    Location: MSRI: Simons Auditorium
    Updated on Feb 12, 2020 03:41 PM PST
  8. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  9. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  10. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:40 AM PST
  11. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  12. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  13. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  14. HC & QS - Blob Homology

    Location: MSRI: Simons Auditorium
    Updated on Feb 10, 2020 10:40 AM PST
  15. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  16. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  17. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  18. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  19. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  20. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:45 AM PST
  21. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  22. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  23. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  24. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:45 AM PST
  25. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  26. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  27. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:45 AM PST
  28. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  29. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  30. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  31. HC Seminar:

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 03:30 PM PST
  32. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:46 AM PST
  33. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  34. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  35. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  36. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:46 AM PST
  37. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  38. Joint HC & QS Colloquium:

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 03:27 PM PST
  39. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  40. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:46 AM PST
  41. QS - Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 28, 2020 09:24 AM PST
  42. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  43. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  44. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:46 AM PST
  45. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  46. Joint HC & QS Colloquium:

    Location: MSRI: Simons Auditorium
    Created on Jan 27, 2020 03:27 PM PST
  47. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  48. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:46 AM PST
  49. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
  50. HC & QS - Learning Seminar

    Location: MSRI: Baker Board Room
    Created on Jan 27, 2020 04:08 PM PST
  51. HC & QS - Blob Homology

    Location: MSRI: Baker Board Room
    Updated on Feb 10, 2020 10:46 AM PST
  52. QS - Seminar

    Location: MSRI: Simons Auditorium
    Created on Jan 28, 2020 09:21 AM PST
No upcoming events under African Diaspora Joint Mathematics Workshop

Past Seminars

  1. Seminar Problem Session

    Created on Feb 13, 2020 09:36 AM PST
  2. Seminar HDMP-Lunch Q&A session

    Created on Oct 04, 2019 10:50 AM PDT
There are more then 30 past seminars. Please go to Past seminars to see all past seminars.