Research artifact
manuscript.pdf
Supplement for Generators and Classifiers in Effective Toposes: Image Semantics, Semidecision, and Higher Fibers
Author: Anonymous
334,518 bytes · application/octet-stream
SHA-256: a175e42a7d8581b791e0d3763e80a86e3feb79f66f90c60ee349154ef426b5df
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/252a0b26a10b01f02dad725104fd7ec9