cd4b951f78
Initial structure implementing the zigzag construction for associative n-categories (LICS 2022 paper). Includes: - monotone.rs: MonotoneMap with Wraith's R equivalence (complete) - zigzag.rs: Zigzag<T>, ZigzagMap<S> with composition - diagram.rs: Diagram, DiagramN, Cospan, Rewrite, Cone types - signature.rs: Generator, Signature (complete) - degeneracy.rs: Degeneracy detection stubs - normalise.rs: Construction 17 algorithm structure - typecheck.rs: Type checking against signatures - explosion.rs: k-points and Poset for layout - layout.rs: SpringConstraint API surface All 33 unit tests pass. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
12 lines
243 B
TOML
12 lines
243 B
TOML
[package]
|
|
name = "zigzag-engine"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
description = "Zigzag construction and normalisation for associative n-categories"
|
|
license = "BSD-3-Clause"
|
|
|
|
[dependencies]
|
|
thiserror = "1"
|
|
|
|
[dev-dependencies]
|
|
proptest = "1"
|