3
좋은 카테고리 이론-도메인 이론 사전이란 무엇입니까?
도메인 이론 범주 (CPO 및 CPO)를 다룰 때 , 나는 종종 도메인 이론에서 범주 이론의 언어에 대한 사전을 원한다.ωω\omega 즉, 개념, 예를 들어, Monic Arrow는 사전에서 찾아보고 다른 도메인 범주에서 알려진 특성을 볼 수 있습니다. 나는이 소망이 기대하기에는 너무 크다는 것을 알고 있지만 그것을 근사하는 텍스트 나 자료가 있습니까?