->
Relevant Materials for Zardini Lab
category theory
Joshua Shinavier work on Transpilers gone wild, might be relevant for co-design
https://www.slideshare.net/joshsh/transpilers-gone-wild-introducing-hydra
Andrea Censi talk on designing everything together, co-design
Could this be related to co-design, is there a generalizable solution?
Something that can consume complex system management inefficiencies?
Examples
Navigating complex healthcare for families with language or financial barriers
Sustainability and housing are common themes
{{video https://www.youtube.com/watch?v=4Q5l71YcU5Q}}
functionality and resources as two input
a set of implementations
pick implementation that is feasible
boolean profunctor
pick implementation that maximizes functionality for a given resource, or minimizes resources for a given functionality
extra
monotone relation preserves order