heades/multicategories
A note on multicategories.
Public GitHub Catalog
Discovered Sep 30, 2026
heades / FILLdialogical
Game semantics for FILL in the style of Lorenzen Games
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.
#19590606GitHub System ID
headesOrganization / User
PublicVisibility
ActiveCatalog Status
More from heades
heades/pre-ordered-cats
This is an upcoming paper on a categorical model of DTT.
heades/law
The Lawvere Categorical Logic Library
heades/thesis
This contains my Ph.D. thesis and related work.