Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Flaten, Jarl G. Taxerås"'
We develop the theory of Yoneda Ext groups over a ring in homotopy type theory (HoTT) and describe their interpretation into an $\infty$-topos. This is an abstract approach to Ext groups which does not require projective or injective resolutions. Whi
Externí odkaz:
http://arxiv.org/abs/2305.09639
Autor:
Flaten, Jarl G. Taxerås
Ext groups are fundamental objects from homological algebra which underlie important computations in homotopy theory. We formalise the theory of Yoneda Ext groups in homotopy type theory (HoTT) using the Coq-HoTT library. This is an approach to Ext w
Externí odkaz:
http://arxiv.org/abs/2302.12678
We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an infinite del
Externí odkaz:
http://arxiv.org/abs/2301.02636
Autor:
Flaten, Jarl G. Taxerås
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 that coproducts indexed by arbitrary sets are left-
Externí odkaz:
http://arxiv.org/abs/2207.03261
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.