Internal languages of finitely complete \((\infty , 1)\)-categories

From MaRDI portal
Publication:2414596

DOI10.1007/s00029-019-0480-0zbMath1462.18007arXiv1709.09519OpenAlexW2962703185MaRDI QIDQ2414596

Krzysztof Kapulkin, Karol Szumiło

Publication date: 17 May 2019

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.09519




Related Items (4)


Uses Software


Cites Work


This page was built for publication: Internal languages of finitely complete \((\infty , 1)\)-categories