Programa

Semigrupos em reticulados completos

Mestrado Bolonha em Matemática

Programa

Reticulados completos: sistemas de fecho: conexões de Galois; reticulados completos; reticulados algébricos; domínios. Sistemas de informação. (Lattice Theory: Foundation, George Gratzer; Introduction to Lattices and Order, B.A. Davey and H.A. Priestley) Nocões básicas de Teoria das Categorias: construções básicas; Functores; transformações naturais, universalidade e adjunções.(Introduction to Categories and Categorical Logic, Samson Abramsky and Nikos Tzevelekos) Noções fundamentais de Quantales: a categoria SUP; prequantales; o axioma de associatividade; Quantales idempotentes e Frames; Quantales de Frobenius Quantales; MV-algebras completas. (Semigroups in Complete Lattices, Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen)