Věra Trnková

Věra Trnková (nascida em 16 de março de 1934 em Berehove , hoje Ucrânia ; † 27 de maio de 2018 ) foi uma matemática tcheca e professora universitária conhecida por seu trabalho em topologia e teoria das categorias .

Vida e pesquisa

Trnková recebeu seu diploma do ensino médio em Praga e estudou matemática na Charles University em 1952 . Ela pesquisou topologia geral com Miroslav Katětov e obteve o título de mestre em 1957 . Em 1961 fez seu doutorado como estudante de doutorado com Eduard Čech com a dissertação: Non-F-Topologies. Em 1989 ela recebeu o Dr.Sc. Grau correspondente a uma habilitação. Em 1960, ela se tornou professora assistente na Charles University, professora associada em 1967, pesquisadora sênior em 1986 e professora titular em 1991. Em 1999 ela se aposentou. Apesar de iniciar sua carreira em topologia geral, ela mudou para a teoria das categorias já em 1962. Seu trabalho nesta área incluiu a investigação de conclusões formais de categorias, a incorporação de categorias em categorias de espaços topológicos, a teoria do autômato teórico-categorial e o isomorfismo de objetos de produto em categorias. Por exemplo, ela introduziu o conceito de aninhamento quase completo e provou que as categorias algébricas podem sempre ser aninhadas quase que completamente na categoria de espaços topológicos compactos. Esse resultado mudou significativamente a aplicação de categorias em outras disciplinas matemáticas. A teoria de conjunto de functores que ela e seus alunos desenvolveram também influenciou o trabalho de vários autores e também se tornou a base para a aplicação de categorias em várias áreas da ciência da computação teórica . Ela é autora de mais de 160 artigos de pesquisa e duas monografias. Foi membro do Conselho Editorial da Algebra Universalis e do Conselho Editorial da Scientiae Mathematicae Japonicae.

Publicações (seleção)

• Sobre a convergência de sequências de funções, Comentário. Math. Univ. Carolinae, 2: 1-12 (1961).
• Sobre a teoria das categorias (em russo), Comentário. Math. Univ. Carolinae 3: 9-35 (1962).
• Sobre o fechamento de classes de espaços por mapas ômega (em russo), DAN SSSR 156 (1962), 272-274.
• Uniões de espaços fortemente paracompactos (em russo), DAN SSSR 146 (1962), 43-45.
• Sobre o fechamento de classes de espaços por omega-mapas (em russo), Czechosl. Math. J. 14 (89), 1964, 327-340.
• Topologias em produtos e decomposição de espaços topológicos, Czechosl. Math. J. 14 (89), 1964, 527-547.
• Soma das categorias com subcategoria amalgamada, Comentário. Math. Univ. Carolinae 6: 449-474 (1965).
• Limites em categorias e funções de preservação de limites, Comentário. Math. Univ. Carolinae 7: 1-73 (1966).
• Categorias universais, comentário. Math. Univ. Carolinae 7: 143-206 (1966).
• Categoria universal com limites de diagramas finitos, Comentário. Math. Univ. Carolinae 7: 447-456 (1966).
• Conclusões de pequenas subcategorias, Comentário. Math. Univ. Carolinae, 8: 581-633 (1967).
• Forte incorporação da categoria de todos os grupos na categoria de semigrupos, Comentário. Math. Univ. Carolinae, 9: 251-256 (1968).
• Algumas propriedades dos functores de conjunto, Comentário. Math. Univ. Carolinae 10: 323-352 (1969).
• Mapas contínuos não constantes de espaços e de suas compactificações $ \ beta $, Topology and its Applications 33 (1989), 47-62.
• Representações simultâneas por produtos em categorias, em: Topologia Categórica e sua Relação com a Análise, Álgebra e Combinatória, editada por J. Adámek e S. Mac Lane, World Scientific, 1989, 410-431.
• Produtos de espaços métricos, uniformes e topológicos, Comentário. Math. Univ. Carolinae 31: 167-180 (1990).
• Automorfismos de redes ortomodulares e simetrias de lógicas quânticas, Foundations of Physics 21 (1991), 855-860.
• Seleção funcional de morfismos, em: Category Theory '91, Canadian Math. Society, Conference Proceedings 13 (1992), 435-447.
• Pontos rígidos e propriedades de criação de rigidez, em: Desenvolvimentos recentes da topologia geral e suas aplicações, Conferência Internacional em Memória de Felix Hausdorff (1868-1942), Pesquisa Matemática 67, Berlim 1992, 303-308.
• Categorias e functores de concreto universais, Topo de Cahier. Geom. Diff. Gato. 1993, 34: 239-256.
• Espaços semirígidos, Trans. Amer. Math. Soc. 1994, 343: 305-325.
• Universidades, Appl. Gato. Structures 2: 173-185 (1994).
• Mapas contínuos e uniformemente contínuos de potências de espaços métricos, Topologia e sua Aplicação 63 (1995), 189-200.
• Clone segmentos em Top e Unif, em: Eraldo Giuli (ed.): Categorical Topology, 249-268, 1996 Kluwer Academic Publishers.
• Problemas simultâneos de segmentos de clones em Top e em Unif, em: Eraldo Giuli (ed.): Categorical Topology, 269-278, 1996 Kluwer Academic Publishers.
• Teorias algébricas, clones e seus segmentos, Applied Categorical Structures 4 (1996), 241-249.
• Espaços co-conectados, Serdica Math. J. 24 (1998): 25-36.
• Representabilidade e representabilidade local de teorias algébricas, Alg. Universalis 39 (1998), 121-144.
• Representação de teorias algébricas e mapas não expansíveis, J. Pure Appl. Alg. 146 (2000), 45-75.
• Spaces without nonconstant maps into Y, Applied Categorical Structures 8 (2000), 407-424.
• Mapas de potências finitas de espaços métricos (condições recursivas para espaços de trabalho), Topologia e suas aplicações 108 (2000), 277-301.
• com Aleš Pultr: representações combinatórias, algébricas e topológicas de grupos, semigrupos e categorias, North Holland Mathematical Library 22, North Holland, 1980
• com Jiří Adámek : autômatos e álgebras em categorias em matemática e suas aplicações 37, Kluwer, 1990

literatura

• Adámek, Jiří; Katětov, Miroslav: Věra Trnková's inacreditável 60. (Inglês). Mathematica Bohemica, vol. 119 (1994), edição 2, pp. 216-224.

Links da web

• Věra Trnková no Projeto Genealogia da Matemática (inglês)Modelo: MathGenealogyProject / Maintenance / id usado
• Os incríveis 60 anos de Věra Trnková (PDF)
• Curta biografia
• Obituário 2019