Univalent categories of modules
Work
Year: 2023
Type: article
Abstract: We show that categories of modules over a ring in homotopy type theory (HoTT) satisfy the internal versions of the AB axioms from homological algebra. The main subtlety lies in proving AB4, which is ... more
Author Jarl G. Taxerås Flaten
Institution Western University
Cites: 17
Cited by: 1
Related to: 10
FWCI: 0.79
Citation percentile (by year/subfield): 52.51
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: hybrid