Birs- 21w5251: Tangent Categories and their Applications (Online)

  1. Title:
    Soundness for automatic differentiation via string diagrams

    Speaker:

    Link:

  2. Title:
    Exponentials and Enrichment for Orbispaces

    Speaker:

    Link:

  3. Title:
    Linear Bicategories: Quantales and Quantaloids

    Speaker:

    Link:

  4. Title:
    Causality, interventions and counterfactuals in Structural Causal Models

    Speaker:

    Link:

  5. Title:
    Exponential modalities and complementarity

    Speaker:

    Link:

  6. Title:
    Frobenius-Eilenberg-Moore objects in dagger 2-categories

    Speaker:

    Link:

  7. Title:
    Monad-comonad interaction laws (co)algebraically

    Speaker:

    Link:

  8. Title:
    Bifibrations of polycategories and MLL

    Speaker:

    Link:

  9. Title:
    Weakly globular double categories and weak units

    Speaker:

    Link:

  10. Title:
    Concurrent Material Histories

    Speaker:

    Link:

  11. Title:
    A graphical calculus for Lagrangian relations

    Speaker:

    Link:

  12. Title:
    Localization of monads via subunits

    Speaker:

    Link:

  13. Title:
    Linearizing Combinators

    Speaker:

    Link:

  14. Title:
    Divided power algebras with derivation

    Speaker:

    Link: