Research artifact
lex-comprehensive-anon-bundle-1.0.zip
Supplement for The Comprehensive Factorization on Finitely Complete Categories and Initial-Functor Semantics for Essentially Algebraic Theories
Author: Third Projection Collective
77,182 bytes · application/zip
SHA-256: b8a74917351dfe5cc3040bbfbd3c8495a819fd332bf1ebf4814b027e3e2ab585
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/c40ba62b5ba32abc68cce6227689bf02