Jiří Rosický (born 1946) is a Czech mathematician. He works on the field of category theory.[1] He is cited as one of the first researchers to introduce tangent categories and tangent bundle functors.[2][3][4][5]
Life
Jiří Rosický was born in 1946. In 1963–1968, he studied mathematics at the Faculty of Science of the Masaryk University. In 1969, he started to work in the department of algebra and geometry at the Faculty of Science. In 1979, he became head of the department.[6]
Work
His work is in category theory, model theory, abstract homotopy theory, and general algebra.[3][7][8] Along with Jiří Adámek he has written a book on the theory of locally presentable and accessible categories.
References
- ↑ "Jiří Rosický in nLab". ncatlab.org. Retrieved 2023-11-19.
- ↑ Garner, Richard (2018-01-07). "An embedding theorem for tangent categories". Advances in Mathematics. 323: 668–687. arXiv:1704.08386. doi:10.1016/j.aim.2017.10.039. ISSN 0001-8708.
- 1 2 Cockett, J. R. B.; Cruttwell, G. S. H. (2014-04-01). "Differential Structure, Tangent Structure, and SDG". Applied Categorical Structures. 22 (2): 331–417. doi:10.1007/s10485-013-9312-0. ISSN 1572-9095.
- ↑ Leung, Poon (August 2018). "Tangent Bundles, Monoidal Theories and Weil Algebras". Bulletin of the Australian Mathematical Society. 98 (1): 175–176. doi:10.1017/S0004972718000102. ISSN 0004-9727.
- ↑ Cockett, Robin; Lemay, Jean-Simon Pacaud; Lucyshyn-Wright, Rory B. B. (2020). "Tangent Categories from the Coalgebras of Differential Categories". DROPS-IDN/v2/document/10.4230/LIPIcs.CSL.2020.17. Schloss-Dagstuhl - Leibniz Zentrum für Informatik. doi:10.4230/LIPIcs.CSL.2020.17.
- ↑ "Matematika má vychovávat ke korektnímu myšlení" (in Czech). Masaryk University. 2006-01-26. Retrieved 2023-11-22.
- ↑ Bagaria, Joan; Brooke-Taylor, Andrew (2013). "On Colimits and Elementary Embeddings". The Journal of Symbolic Logic. 78 (2): 562–578. ISSN 0022-4812.
- ↑ Wilson, Trevor M. (2020-03-25). "Weak Vopěnka's Principle does not imply Vopěnka's Principle". Advances in Mathematics. 363: 106986. arXiv:1909.09333. doi:10.1016/j.aim.2020.106986. ISSN 0001-8708.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.