3
Co to jest dobry słownik teorii teorii domeny?
Kiedy mam do czynienia z kategoriami teorii domen (powiedzmy CPO i CPO), często życzę sobie słownika języka teorii kategorii w teorii domen.ωω\omega To znaczy, biorąc pod uwagę koncepcję, powiedzmy moniczną strzałkę, mógłbym sprawdzić ją w słowniku i zobaczyć, jakie są jej znane cechy w różnych kategoriach domen. Zdaję sobie sprawę, …