Abstract Edward Prior

Title: Free EG-algebras on invertible objects


 Many kinds of monoidal category are characterised by the presence of additional structure which is in some sense permutative - symmetries, braidings, etc. These types of categories are often amenable to a graphical description in the form of string diagrams, which allow us to use our geometric intuition to provide insight into purely algebraic problems. However, we sometimes want to work with invertible objects in these categories, but diagrams whose strings can cancel with one another are considerably harder to distinguish based on intuition alone.I will begin this talk by describing action operads, whose algebras can be used to formalise this notion of "monoidal categories with string-diagram-like structure". Then we will discuss how to construct the free such algebras on invertible objects, using the explicit example of braided monoidal categories.



Nick Gurski, Operads, tensor products, and the categorical Borel construction (2015). https://arxiv.org/abs/1508.04050

Peter Selinger, A survey of graphical languages for monoidal categories (2009). https://arxiv.org/abs/0908.3347


Share this page:

Contact details

Department of Mathematics
University of Leicester
University Road
Leicester LE1 7RH
United Kingdom

Tel.: +44 (0)116 229 7407

Campus Based Courses

Undergraduate: mathsug@le.ac.uk
Postgraduate Taught: mathspg@le.ac.uk

Postgraduate Research: pgrmaths@le.ac.uk

Distance Learning Course  

Actuarial Science:

DL Study

Student complaints procedure

AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has detailed accessibility guides for College House and the Michael Atiyah Building.