RoboCat: A Category Theoretic Framework for Robotic Interoperabilityieeexplore.ieee.org·1 pts·larve·0
Space-time tradeoffs of lenses and optics via higher category theory [video]youtube.com·2 pts·larve·0