@plurigrid Organization
by plurigrid
ACSets (Attributed C-Sets) for categorical database design and DPO rewriting