Qué significa ⨿
Combina entradas mediante una regla sobre mapas. Si ambas entradas tienen un mapa hacia el mismo destino, existe un único mapa desde el resultado combinado que concuerda con los dos.
En otros contextos da sumas directas. Gabriel y Zisman emplearon el término «suma amalgamada» en una obra de 1967.
No lo confundas con
1Preguntas frecuentes
1¿⨿ significa lo mismo que la unión ordinaria?
No. Para los conjuntos, un coproducto es una unión disjunta que conserva de qué entrada procede cada elemento; la unión ordinaria reúne los elementos compartidos.
Cómo escribir ⨿
⨿\2A3FCódigos y codificaciónPuntos de código: 1
Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.
