Research artifact
quantification-and-kan-extension.pdf
Supplement for Quantification and Kan Extension in the Internal Logic of an ∞-Topos
Author: Anonymous
455,369 bytes · application/octet-stream
SHA-256: 597644492023c393252a65055b109ba5027441ba9253c8a4356d184c7ab02f25
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/712631dd2ed525e6de69a76b59c61b92