Metadata
Author: WikiMatrix
Data
Galician[gl]
Ao contrario, dado un diagrama conmutativo, este define unha categoría poset: os obxectos son os nodos, hai un morfismo entre dous obxectos calquera se e só se existe un camiño (directo) entre os nodos, coa relación de que este morfismo é único (calquera composición de aplicacións se define polo seu dominio e destino: este é o axioma de conmutatividade).
Portuguese[pt]
Por outro lado, dado um diagrama comutativo, define-se um conjunto parcialmente ordenado: os objectos são nós, existe morfismo entre quaisquer dois objectos apenas e somente se existe um caminho entre os nós, com a relação que este morfismo é único (qualquer composição de mapas é definido pelo seu domínio e objectivo: este é o axioma da comutatividade).