3
Що таке хороший словник Теорія доменних категорій?
Маючи справу з теоретичними категоріями доменів (скажімо, CPO і CPO), я часто бажаю словника мови теорії категорій в теорії домену.ωω\omega Тобто, з огляду на поняття, скажімо, монічна стрілка, я міг би переглянути його у словнику та побачити, які відомі його характеристики у різних категоріях доменів. Я усвідомлюю, що цього бажання …