Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Injective types in univalent mathematics
Martın Hotzel Escardo
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
183
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Injective types in univalent mathematics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Retract
100%
Injective
94%
Injectivity
76%
Restriction
22%
Surjectivity
20%
Classifier
19%
Truncation
16%
Axiom
14%
Partial
11%
Algebra
9%
Engineering & Materials Science
Algebra
35%
Classifiers
23%