Univalent categories of modules

JGT Flaten - Mathematical Structures in Computer Science, 2023 - cambridge.org
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 …
被引用次数：2 相关文章
[PDF] uwo.ca

[PDF][PDF] UNIVALENT CATEGORIES OF MODULES

JGT FLATEN - 2022 - publish.uwo.ca
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 …

Univalent categories of modules

JGT Flaten - arXiv preprint arXiv:2207.03261, 2022 - arxiv.org
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 …

Univalent categories of modules

T Flaten, G Jarl - arXiv e-prints, 2022 - ui.adsabs.harvard.edu
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 …

Univalent categories of modules.

JGT Flaten - Mathematical Structures in Computer Science, 2023 - search.ebscohost.com
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 …

Univalent categories of modules

JGT Flaten - Mathematical Structures in Computer Science, 2023 - search.proquest.com
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 …