Department of MathematicsWestern Science

Chris Kapulkin: Publications & Preprints

Back to main page

  1. Homotopical inverse diagrams in categories with attributes, with P. LeF. Lumsdaine, preprint, 2018. [arXiv] [pdf]
  2. Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons, with R. Carlton and A. Essex, Topics in Cryptology – CT-RSA 2018137-156, Lecture Notes Comput. Sci., 10808, 2018. [iacr] [journal]
  3. Cubical Approach to Straightening, with V. Voevodsky, submitted, 2018. [pdf]
  4. Internal Language of Finitely Complete (∞,1)-categories, with K. Szumiło, submitted, 2017. [arXiv] [pdf]
  5. The Homotopy Theory of Type Theories, with P. LeF. Lumsdaine, Advances in Mathematics (to appear), 2016. [arXiv] [pdf]
  6. Locally cartesian closed quasicategories from type theory, Journal of Topology 10 (4), 1029-1049, 2017. [arXiv] [pdf]
  7. Quasicategories of frames of cofibration categories, with K. Szumiło, Applied Categorical Structures 25 (2017), no. 3, 323–347. [arXiv] [pdf]
  8. Joyal's Conjecture in Homotopy Type Theory, PhD thesis, 2014. [award]
  9. Homotopy Type Theory (The HoTT Book), as part of the Univalent Foundations Project, 2013. [website]
  10. Homotopy limits in type theory, with J. Avigad and P. LeF. Lumsdaine, Mathematical Structures in Computer Science 25 (2015), no. 5, 1040–1070. [arXiv] [pdf]
  11. Univalent categories and the Rezk completion, with B. Ahrens and M. Shulman, Mathematical Structures in Computer Science 25 (2015), no. 5, 1010–1039. [arXiv] [pdf]
  12. The Simplicial Model of Univalent Foundations (after Voevodsky), with P. LeF. Lumsdaine, submitted, 2012. [arXiv] [pdf]
  13. Univalence in Simplicial Sets, with P. LeF. Lumsdaine and V. Voevodsky, preprint, 2012. [arXiv] [pdf]
  14. Expressiveness of positive coalgebraic logic, with A. Kurz and J. Velebil, Advances in modal logic 9, 368–385, 2012. [pdf]
  15. Homotopy-theoretic models of type theory, with P. Arndt, Typed lambda calculi and applications, 45–60, Lecture Notes in Comput. Sci., 6690, Springer, Heidelberg, 2011. [arXiv] [pdf] 

See also: Google Scholar, arXiv, MathSciNet.