A Constructive Model of Directed Univalence in Bicubical Sets
Work
Year: 2020
Type: article
Abstract: Directed type theory is an analogue of homotopy type theory where types represent categories, generalizing groupoids. A bisimplicial approach to directed type theory, developed by Riehl and Shulman, i... more
Authors Matthew Z. Weaver, Daniel R. Licata
Institutions Princeton University, Wesleyan University
Cites: 32
Cited by: 16
Related to: 10
FWCI: 5.593
Citation percentile (by year/subfield): 89.29
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: bronze
Grant ID FA9550-17-1-0363, FA9550-15-1-0053, FA9550-16-1-0292