3
Một từ điển lý thuyết danh mục-tên miền tốt là gì?
Khi làm việc với các danh mục lý thuyết miền (giả sử CPO và CPO), tôi thường mong muốn có một từ điển cho ngôn ngữ của lý thuyết thể loại trong lý thuyết miền.ωω\omega Đó là, đưa ra một khái niệm, nói mũi tên monic, tôi có thể tra …