Zobrazeno 1 - 10
of 196
pro vyhledávání: '"Jarl G"'
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
Autor:
Jarl G, Lundqvist LO
Publikováno v:
Patient Preference and Adherence, Vol 2016, Iss Issue 1, Pp 1521-1528 (2016)
Gustav Jarl,1,2 Lars-Olov Lundqvist2 1Department of Prosthetics and Orthotics, Faculty of Medicine and Health, 2University Health Care Research Center, Faculty of Medicine and Health, Örebro University, Örebro, Sweden Introduction: Therapeutic shoe
Externí odkaz:
https://doaj.org/article/3f6fc45795be434d97db9df8ce40e6b9
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
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.