About
This skill equips Claude with the formal machinery of the directed Yoneda lemma, as developed by Emily Riehl and Michael Shulman. It enables Claude to perform directed path induction for Segal types, allowing it to prove properties across complex reaction pathways or morphism chains by verifying only the base identity case. Ideal for researchers and developers working in synthetic homotopy type theory (sHoTT), formal verification of chemical reaction systems, and topological computing, it bridges the gap between abstract category theory and practical formal logic implementation using the Rzk language.
