Logo

Mathematical Sciences Research Institute

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

Upcoming Colloquia & 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