constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
A 2-topos version of the effective topos.
A candidate for a 2-topos version of the effective topos:
Created on April 7, 2025 at 23:18:15. See the history of this page for a list of all contributions to it.