01Perform functional operations including map, filter, and fold on ACSet parts
02Define custom categorical schemas for relational and graph-based data
03Implement symmetric and attributed data structures with high-performance indexing
04Compose complex systems using Open ACSets and categorical pushout operations
05Integrate GF(3) conservation logic for specialized topological modeling
067 GitHub stars