Especificações Algébricas: Propriedade universal do morfismo quociente
Channel: Joao Marcos
Date: 04/12/2020

Elementos de Álgebra Universal para Computação

Tema deste vídeo: De como o quociente de uma Σ-álgebra gerado por uma relação indexada binária arbitrária R distingue entre todos os objetos que as operações da álgebra e a congruência gerada por R permitem distinguir, e é, a menos de Σ-isomorfismo, o único objeto com este nível de fineza.

SLOGAN: 
"Para todos os efeitos, objetos observacionalmente indistinguíveis são idênticos."

Para saber mais a respeito dos conceitos abordados aqui, consulte o material sobre "álgebras heterogêneas" no link 
https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv