Zobrazeno 1 - 10
of 189
pro vyhledávání: '"Jarl, G."'
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
Autor:
Kallberg, Jarl G.1 (AUTHOR), Shimizu, Yoshiki2 (AUTHOR) yshimizu@d.umn.edu
Publikováno v:
Journal of Real Estate Finance & Economics. May2023, Vol. 66 Issue 4, p904-938. 35p. 9 Charts, 1 Map.
Autor:
Lazzarini, P. A., Armstrong, D. G., Crews, R. T., Gooday, C., Jarl, G., Kirketerp‐Moller, K., Viswanathan, V., Bus, S. A.
Publikováno v:
Diabetes/Metabolism Research & Reviews; Mar2024, Vol. 40 Issue 3, p1-39, 39p
Autor:
Jarl G
Publikováno v:
Patient Preference and Adherence, Vol Volume 12, Pp 1767-1775 (2018)
Gustav Jarl1,2 1University Health Care Research Center, Faculty of Medicine and Health, Örebro University, Örebro, Sweden; 2Department of Prosthetics and Orthotics, Faculty of Medicine and Health, Örebro University, Örebro, Sweden Abstract: Foot
Externí odkaz:
https://doaj.org/article/0b05d7411f38452fab4d6598ab8da401
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.
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.
Publikováno v:
The Journal of Financial and Quantitative Analysis, 2000 Sep 01. 35(3), 387-408.
Externí odkaz:
https://www.jstor.org/stable/2676210