#HoTT univalent higher categories via complete semi- Segal types

http://delivery.acm.org/10.1145/3160000/3158132/popl18-p216.pdf?ip=82.225.152.114&id=3158132&acc=OA&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2EC1E31BC46E58D5B8&__acm__=1520270090_83ee61252573fa774d776669ec8b32c3

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, homotopy type theory, Science, mathesis. Bookmark the permalink.