Sumários
Aula 37
12 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia
Conclusion of the proof of Birkhoff Theorem: a class of algebras of the same type is a variety iff it is an equational class.
Aula 36
11 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia
Equational classes, equational theories,
Aula 35: 06-05 14h30m:16h
7 Maio 2021, 13:00 • Maria João Antunes Dias Gouveia
Resolution of exercises.
Aula 34
5 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia
Free algebras for and in classes of algebras of the same type over some set X of variables.
Aula 33
3 Maio 2021, 15:30 • Maria João Antunes Dias Gouveia
Clarification of doubts. Correction of exercises. The universal mapping property for concrete examples.