Building dynamical systems compositionally

Build petri net models compositionally

Relational Algebra, now with more algebra!

A framework for applied category theory in the Julia language

Simplicial sets and other combinatorial models of geometric spaces