Validates and manages Riehl-Shulman covariant fibrations for directed type theory and synthetic homotopy theory.
The Covariant Fibrations skill provides Claude with specialized capabilities for handling directed transport and type families within the context of Riehl-Shulman fibrations. It is specifically designed for developers and researchers working with directed type theory (Narya-style) and the Rzk language to model โ-categories. This skill enables the automated validation of covariance conditions, computation of cocartesian lifts, and generation of transport terms, ensuring that type families correctly propagate along the directed interval while maintaining compositional coherence.
Key Features
01Compute and verify cocartesian lifts for base morphisms
02Analyze Segal conditions for โ-category implementation
03Validate covariance conditions within Rzk and Narya-style files
042 GitHub stars
05Generate transport terms for directed type families along the interval ๐
06Integrate with GF(3) triad structures for compositional naturality
Use Cases
01Implementing directed transport mechanisms in specialized formal languages
02Formalizing proofs in synthetic directed homotopy type theory
03Developing and verifying synthetic โ-categories using Rzk
