Topological and Simplicial Models of Identity Types
Work
Year: 2012
Type: article
Abstract: In this paper we construct new categorical models for the identity types of Martin-Löf type theory, in the categories Top of topological spaces and SSet of simplicial sets. We do so building on earlie... more
Authors Benno van den Berg, Richard Garner
Institutions Technical University of Darmstadt, Macquarie University
Cites: 22
Cited by: 78
Related to: 10
FWCI: 8.165
Citation percentile (by year/subfield): 96.4
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: green