Las estructuras construidas sobre conjuntos unitarios sirven a menudo como los objetos terminales o finales o los objetos cero de varias categorías: