Jiří Rosický (mathematician)
Jiří Rosický | |
---|---|
Add a Photo | |
Nationality | Czech |
Citizenship | Czech Republic |
Alma mater | Masaryk University |
Jiří Rosický, is a pure category theorist. He is an internationally recognized expert in algebra, particularly in categorical methods, and a number of related areas such as model theory, topology and theoretical computer science.[1] One of his major contributions, jointly with Jiří Adámek, is the development of the theory of locally presentable and accessible categories. [2]
Education
Jiří Rosický finished his undergraduate studies at Masaryk University in Brno in 1968 and continued there with his postgraduate studies. His doctoral thesis (CSc.) “Sublattices of the Lattice of All Topologies” written under the supervision of Professor Milan Sekanina was defended in 1973.[1]
Career
After his doctoral degree, he worked as an assistant professor, since 1979 as an associated professor and since 1986 as a full professor at the Department of Algebra and Geometry of the Faculty of Natural Sciences of Masaryk University. Since 1979 he has been Head of that department.
In 1985 he received the title Doctor of Sciences (DrSc.), the topic of his dissertation was “Representation of Concrete Categories”; and one year later he became a full professor. He published a monograph in Cambridge University Press, more than 110 research papers (many of them in the best international scientific journals) and two Czech textbooks.[1]
During the first stage of his research, approximately until the end of the 1980’s, Jiří Rosický was working on applying methods of category theory in general algebra and general topology. It was particularly his use of infinitary logic in the theory of concrete categories that was internationally appreciated for its originality.[1]
References
External links
This article "Jiří Rosický (mathematician)" is from Wikipedia. The list of its authors can be seen in its historical. Articles taken from Draft Namespace on Wikipedia could be accessed on Wikipedia's Draft Namespace.