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
The Cantor–Schröder–Bernstein Theorem for ∞-groupoids
Martin Escardo
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
122
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The Cantor–Schröder–Bernstein Theorem for ∞-groupoids'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Homotopy Type
100%
Groupoid
92%
Topos
57%
Homotopy Theory
51%
Classical Logic
51%
Type Theory
49%
Theorem
35%
Language
32%
Form
18%