Birs- 21w5251: Tangent Categories and their Applications (Online)
-
Title: Soundness for automatic differentiation via string diagrams
Speaker:
Link:
-
Title: Exponentials and Enrichment for Orbispaces
Speaker:
Link:
-
Title: Linear Bicategories: Quantales and Quantaloids
Speaker:
Link:
-
Title: Causality, interventions and counterfactuals in Structural Causal Models
Speaker:
Link:
-
Title: Exponential modalities and complementarity
Speaker:
Link:
-
Title: Frobenius-Eilenberg-Moore objects in dagger 2-categories
Speaker:
Link:
-
Title: Monad-comonad interaction laws (co)algebraically
Speaker:
Link:
-
Title: Bifibrations of polycategories and MLL
Speaker:
Link:
-
Title: Weakly globular double categories and weak units
Speaker:
Link:
-
Title: Concurrent Material Histories
Speaker:
Link:
-
Title: A graphical calculus for Lagrangian relations
Speaker:
Link:
-
Title: Localization of monads via subunits
Speaker:
Link:
-
Title: Linearizing Combinators
Speaker:
Link:
-
Title: Divided power algebras with derivation
Speaker:
Link: