FMC2-IEA, 2023-07-19: (20) Estruturas Algébricas; Livre e livremente gerado
Fundamentos matemáticos para computação 2 (FMC2)
Introdução a Estruturas Algébricas (IEA)
Semestre 2023.1
Thanos Tsouanas
IMD, UFRN, BR
http://tsouanas.org/fmcbook
http://tsouanas.org/teaching/fmc2/2023.1
Estruturas Algébricas
[00:00:00] Bom dia / meta
[00:00:23] lembrete: subgrupo gerado por um subconjunto
[00:04:34] subreticulado gerado por um subconjunto
[00:20:00] reticulado livremente gerado por um conjunto
[00:35:15] monóide livremente gerado por um conjunto
[00:44:15] grupo livremente gerado por um conjunto
[00:51:56] teaser FMC3: algebra universal
[00:52:40] teaser FMC3: algebra de termos
[00:58:49] categorias to the rescue! (coiso livremente gerado)
[01:11:51] Aneis, ideais, anel quociente
[01:20:54] Q: podemos usar a idéia categórica para outros coisos?
[01:22:29] Plicker bobo (buuu)