heades/multicategories
A note on multicategories.
Public GitHub Catalog
Discovered Sep 29, 2026
heades / uni-typed
This is some stuff I used in a recent blog post about untyped lambda-calculi being actually typed.
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.
#14989905GitHub 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/FILLdialogical
Game semantics for FILL in the style of Lorenzen Games
heades/law
The Lawvere Categorical Logic Library