Cosa significa ⟔
Indica il risultato di una costruzione di pushout.
La teoria delle categorie è un ramo della matematica che studia gli oggetti e le mappe (frecce) tra loro. Un diagramma di teoria delle categorie usa frecce per mostrare queste relazioni. In un pushout, un oggetto comune invia mappe a due oggetti; ⟔ indica il risultato della loro unione secondo quelle mappe.
Notazione specialistica nei diagrammi di teoria delle categorie.
Se ⟔ appare come un riquadro, il font attivo potrebbe non avere il glifo; il testo può comunque contenere il carattere.
Non confonderlo con
1Come digitare ⟔
⟔\27D4Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.
