Research artifact
lex-comprehensive-anon-1.0.pdf
Supplement for The Comprehensive Factorization on Finitely Complete Categories and Initial-Functor Semantics for Essentially Algebraic Theories
Author: Third Projection Collective
60,179 bytes · application/octet-stream
SHA-256: 1e073f08f6bca7f9f0e768beac0d86b09a814cb057a28bd1f98205c297b8ba41
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/44920b10ba1c267e92ea82f3ae52fa7e