arXiv:2505.10761math.CT
Algebraic Type Theory, Part 1: Martin-Löf algebras
Steve Awodey
HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.
Abstract
A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.
- arXiv comments
- In memory of Phil Scott, friend and mentor
- Journal reference
- DOI
On Hacker News
No comments linking this paper were found in the collected sources. Found in 1 HN submission from May 2025 to May 2025. Open submission discussions.
Comments linking this paper, per year.
Discussed in comments0 threads
Connected through shared HN threads, not inferred similarity or a recommendation.