Wednesday 25th May, 2016
1:00pm to 2:00pm
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.
Sign in to add slides, notes or videos to this session