ACSets Hatchery

Overview

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

Core Features

• Acset schemas - Category-theoretic data structure definitions
• Acsets - Instances of schemas (like database rows)
• Tabular columns - Efficient columnar storage
• Serialization - JSON/binary format support

What Are ACSets?

An ACSet is a functor from a category C to Set, with attributes. This means:

• Objects become tables
• Morphisms become foreign keys
• Attributes add data types to objects