Agent Skills: synthetic-adjunctions

Synthetic adjunctions in directed type theory for ∞-categorical universal constructions.

UncategorizedID: plurigrid/asi/synthetic-adjunctions

Author

Repository

plurigridLicense: MIT

165

pnpm dlx add-skill https://github.com/plurigrid/asi/synthetic-adjunctions

Skill Files

Browse the full folder contents for synthetic-adjunctions.

Loading file tree…

Select a file to preview its contents.