Locally cartesian closed quasi‐categories from type theory

DOI10.1112/topo.12031zbMath1388.18025arXiv1507.02648OpenAlexW3102169999MaRDI QIDQ3130308

Krzysztof Kapulkin

Publication date: 19 January 2018

Published in: Journal of Topology (Search for Journal in Brave)

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

zbMATH Keywords

type theorysimplicial setquasi-categorycategory with weak equivalenceslocally Cartesian closed

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Related Items (5)

Modalities in homotopy type theory ⋮ Frames in cofibration categories ⋮ Internal languages of finitely complete \((\infty , 1)\)-categories ⋮ Homotopy groups of cubical sets ⋮ The homotopy theory of type theories

This page was built for publication: Locally cartesian closed quasi‐categories from type theory