research
∙
12/05/2022
Homotopy type theory as internal languages of diagrams of ∞-logoses
We show that certain diagrams of ∞-logoses are reconstructed in internal...
share
research
∙
03/18/2018
