Functorial Diagram OperatorsNavid RouxLast updated on Nov 21, 2020 Project Slides Video 📄 Ext. Abstractuniversity research formal-systems mmt diagram-operatorsNavid RouxComputer Science M. Sc. StudentAcademically interested in formal systems for knowledge representation; recreationally in love with sports.Please enable JavaScript to view the comments powered by Disqus.comments powered by DisqusRelatedDiagram Operators in a Logical FrameworkDiagram OperatorsFrameITPresentation of "Diagram Operators in a Logical Framework" at LFMTP 2020Presentation of "Functorial Diagram Operators" at WADT 2020