About
This skill integrates synthetic ∞-category theory into Claude's workflow, specializing in Segal types where binary composites exist uniquely up to homotopy. It provides domain-specific guidance for Rzk, Lean4, and chemical semantics, enabling users to model complex systems—from chemical reactions to software control flow—as coherent higher-dimensional categories. By enforcing the Segal condition, it ensures that compositions are associative and unital across all dimensions, bridging the gap between abstract homotopy type theory and practical implementation in 'chemputer' architectures.
