Delooping cyclic groups with lens spaces in homotopy type theory.

Samuel Mimram Émile Oleon

Published in: CoRR (2024)

Keyphrases

quotient space
theoretical framework
computational model
conceptual framework
real time
information systems
relational databases
information theory
general theory