用途:ACSets Hatchery 基于 ACSets.jl,提供 acsets(attributed C-sets,属性 C-集),一种泛化图与数据框的内存内范畴论关系型数据库实现。
主要能力:支持 acset schema(范畴论数据结构定义)、acset 实例(类似数据库行)、高效表格列存储,以及 JSON/二进制序列化。ACSet 可理解为从范畴 C 到 Set 的带属性函子:对象成为表,态射成为外键,属性为对象添加数据类型。
使用方式:在 Julia 中 using ACSets,用 @present 定义 schema,再用 @acset 创建实例。资料给出的示例定义 SchGraph(V、E 及 src、tgt 两个 Hom),并创建含 3 个顶点、2 条边的 Graph。扩展包括 Catlab.jl(同态、极限/余极限、函子式数据迁移)与 AlgebraicRewriting.jl(acsets 的 DPO/SPO/SqPO 重写)。
Gay.jl 集成:资料展示 gay_seed!(0xb4545686b9115a09) 与 OkhslParameters、Enzyme.gradient 的混合模式检查点示例。
适用场景:范畴论数据建模、图结构表示、关系型数据迁移与重写。
限制:资料未提供安装命令、平台要求、性能数据或收费信息;具体 API 细节需参考 ACSets.jl 文档。引用:Patterson, Lynch, Fairbanks. Categorical data structures for technical computing. Compositionality 4, 5 (2022). arXiv:2106.04703。源码为 plurigrid/ACSets.jl(AlgebraicJulia/ACSets.jl 的 fork)。