•  

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!

When

Time 1:00pm2:00pm MST

Date Wed 25th May 2016

Short URL

lanyrd.com/sdzpry

Official event site

www.jonprl.org/prlconf.html

View the schedule

Share

See something wrong?

Report an issue with this session