catlang (🐈) A DSL for describing categories. Language implemented in textX, using an algebra of categories from SymPy. See demos/ for examples of categories and main.py for usage.