3
พจนานุกรมทฤษฎีหมวดหมู่ที่ดีคืออะไร
เมื่อจัดการกับหมวดหมู่ทฤษฎีโดเมน (พูด CPO และ CPO) ฉันมักต้องการพจนานุกรมสำหรับภาษาของทฤษฎีหมวดหมู่ในทฤษฎีโดเมนωω\omega นั่นคือจากแนวคิดที่ว่าลูกศร monic ฉันสามารถค้นหามันในพจนานุกรมและดูว่ามีการจำแนกลักษณะที่เป็นที่รู้จักในประเภทโดเมนที่แตกต่างกันอย่างไร ฉันรู้ว่าความปรารถนานี้มากเกินความคาดหวัง แต่มีข้อความหรือทรัพยากรใกล้เคียงกับมันหรือไม่?