A operadic model structure on compact closed categories

Sophie Raynor – 4 November 2020

In recent talks, I’ve been looking at operadic perspectives on compact closed categories. The underlying idea is that, forgetting the direction of morphisms of a (small) compact closed category results in a `circuit operad'. This time I’ll describe a model category structure on compact closed categories in which the fibrations may be viewed as maps between circuit operads and weak equivalences of compact closed categories are those maps that become equivalences after forgetting morphism direction and inverting trace.