Internal Languages of Finitely Complete (∞, 1)-categories

Kapulkin, K and Szumilo, K (2019) Internal Languages of Finitely Complete (∞, 1)-categories. Selecta Mathematica, 25. 33. ISSN 1022-1824



  • Kapulkin, K
  • Szumilo, K
Copyright, Publisher and Additional Information: © Springer Nature Switzerland AG 2019. This is a post-peer-review, pre-copyedit version of an article published in Selecta Mathematica. The final authenticated version is available online at:
Keywords: type theory; homotopy theory; higher category theory; 18G55; 55U35; 03B15 (primary)
  • Accepted: 27 March 2019
  • Published (online): 27 April 2019
  • Published: June 2019
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 14 Jun 2019 09:35
Last Modified: 27 Apr 2020 00:40
Status: Published
Publisher: Springer International Publishing
Identification Number:

Share / Export