Andrea Censi: Designing everything together

MIT Category Theory Seminar
2020/01/23
©Spifong
Title: Designing everything together
Abstract:
Category theory can be very useful for many domains of engineering, because the synthetic and rigorous language it provides can help describe and analyze complex systems. In this talk I will describe a categorical theory of “co-design” (collaborative, compositional, computational, continuous design) to be used to describe and solve formal engineering design problems. I will discuss the design and implementation of a formal co-design language. Finally, I will discuss the work to be done to achieve the representation power necessary to fully capture the domain of engineering design.
Slides available here: brendanfong.com/censi_codesign...