Věra Šedivá-Trnková (16 de marzo de 1934 - 27 de mayo de 2018) fue una matemática checa conocida por su trabajo en topología y teoría de categorías . [1] [2]
Trnková nació el 16 de marzo de 1934 en Berehove , entonces Checoslovaquia y ahora Ucrania ; su padre era forestal. Cuando estaba en la escuela secundaria, su familia vivía en Praga y ella fue a la Universidad Carolina para estudiar matemáticas. Allí, trabajó con Miroslav Katětov en topología general , obteniendo una maestría en 1957 con la tesis Collectionwise normal and strong paracompact spaces on reinforceded definition for normal spaces . [1]
Continuó su trabajo en topología en la Universidad Carolina como estudiante de doctorado de Eduard Čech , obteniendo el título de candidata (el equivalente checo de un doctorado) en 1961 con la disertación Non-F-Topologies . [1] [3] Mucho más tarde, en 1989, también recibió el título de Dr.Sc., correspondiente a una habilitación . [1]
En 1960, cuando todavía era estudiante, Trnková se convirtió en profesora adjunta en la Universidad Carolina. Fue ascendida a docente (profesora asociada), investigadora principal y profesora titular en 1967, 1986 y 1991, respectivamente. [1] [4]
Se jubiló en 1999, [4] y falleció el 27 de mayo de 2018. [2]
A pesar de haber comenzado su carrera trabajando en topología general , Trnková pasó a la teoría de categorías en 1962. Su trabajo en esta área incluyó el estudio de las terminaciones formales de categorías, las incrustaciones de categorías en categorías de espacios topológicos, la teoría de autómatas de teoría de categorías y el isomorfismo de objetos producto en categorías. [1]
Se convirtió en autora de más de 100 artículos de investigación y dos monografías : [1]