BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

The Faa Di Bruno Construction and Skew Enrichment Cockett, Robin

Description

This tutorial will introduce the Faa Di Bruno construction and segue into viewing Cartesian differential categories as skew enriched (following Garner and Lemay) . The aim is to explain the first embedding theorem of Cartesian Differential Categories into the coKleisli category of a (tensor) differential category.

Item Media

Item Citations and Data

Rights

Attribution-NonCommercial-NoDerivatives 4.0 International