3
Che cos'è un buon dizionario di teoria della teoria del dominio di categoria?
Quando ho a che fare con le categorie teoriche del dominio (diciamo CPO e CPO), desidero spesso un dizionario per il linguaggio della teoria delle categorie nella teoria dei domini.ωω\omega Cioè, dato un concetto, dire la freccia monica, potrei cercarlo nel dizionario e vedere quali sono le caratterizzazioni note di …