The Cantor-Schröder-Bernstein theorem for \(\infty\)-groupoids

DOI10.1007/s40062-021-00284-6OpenAlexW3175497240MaRDI QIDQ2230805

Martín Hötzel Escardó

Publication date: 28 September 2021

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.07079

zbMATH Keywords

homotopy type theory\(\infty\)-groupoidunivalent foundations\(\infty\)-toposCantor-Schröder-Bernstein theorem

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Topological categories, foundations of homotopy theory (55U40) Mathematical logic and foundations (03-XX) Type theory (03B38)

Uses Software

• GitHub

Cites Work

• Unnamed Item
• Homotopy Type Theory: Univalent Foundations of Mathematics

This page was built for publication: The Cantor-Schröder-Bernstein theorem for \(\infty\)-groupoids