Esta terminología relaciona las conexiones a la teoría de categorías que se comenta luego.