The Cantor-Schröder-Bernstein Theorem for ∞-groupoids
4 views
Skip to first unread message
Martín Hötzel Escardó
Jan 26, 2020, 2:45:34 PM1/26/20
to Homotopy Type Theory
I'd like to advertise this: https://homotopytypetheory.org/2020/01/26/the-cantor-schroder-bernstein-theorem-for-%e2%88%9e-groupoids/
Reply all
Reply to author
Forward
0 new messages