acsets-algebraic-databases

"The category of simple graphs does not even have a terminal object!" — AlgebraicJulia Blog, with characteristic ironic detachment

ACSets ("attributed C-sets") are a family of data structures generalizing both graphs and data frames. They are an efficient in-memory implementation of a category-theoretic formalism for relational databases.

C-set = Functor X: C → Set where C is a small category (schema)

ACSets（屬性 C 集）：具有 Spectre 式雙向導航的代數資料庫。關係資料庫的範疇論形式主義。 來源：plurigrid/asi。