Computads, Operads, and Signatures

A session at PrlConf 2016

Wednesday 25th May, 2016

1:00pm to 2:00pm (MST)

The concept of free structure on signatures or graphs is well known in both category theory and type theory. What is not as well known in type theory is how to generalize this concept of free structure to more exotic scenarios involving hypergraphs in higher dimensions. In this talk I will explain first why this is even an interesting problem for higher dimensional type theories. Next I will discuss how computads, operads, and higher dimensional polytopic sets provide important insights. Finally I will present some concrete applications and demos.

About the speaker

This person is speaking at this event.
Darin Morrison

Sign in to add slides, notes or videos to this session

Tell your friends!


Time 1:00pm2:00pm MST

Date Wed 25th May 2016

Short URL


Official event site


View the schedule


See something wrong?

Report an issue with this session