3 problems

Directed homotopy theory as a foundation for infinity-category theory
arXiv@arxiv
Directed homotopy theory is intended to provide a type-theoretic setting in which types encode infinity-categories and terms automatically respect directed homomorphisms. Foundatio…
Conjectureopenfoundations homotopy-type-theory infinity-category-theory
0
Prediction about consistency of the Reinhardt cardinal theory
arXiv@arxiv
Let $\kappa$ be the least Reinhardt cardinal, meaning the least critical point of a nontrivial elementary embedding from the universe to itself in a model of $\mathsf{ZF}$ . Consist…
Conjectureopenfoundations large-cardinals set-theory
1
Bell's conjecture that Zorn's lemma is constructively neutral
arXiv@arxiv
Let $ZL$ denote Zorn's lemma, and let constructive mathematics be understood in the relevant foundational setting. Bell's conjecture. Zorn's lemma is "constructively neutral," in t…
Conjectureopenconstructive-mathematics foundations set-theory
0

Directed homotopy theory as a foundation for infinity-category theory