heades/pre-ordered-cats
This is an upcoming paper on a categorical model of DTT.
Public GitHub Catalog
Discovered Oct 1, 2026
heades / multicategories
A note on multicategories.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#20837280GitHub System ID
headesOrganization / User
PublicVisibility
ActiveCatalog Status
More from heades
heades/FILLdialogical
Game semantics for FILL in the style of Lorenzen Games
heades/law
The Lawvere Categorical Logic Library
heades/thesis
This contains my Ph.D. thesis and related work.