cartesian closed category 的定義 #56

Closed

dannypsnl started this conversation in Ideas

dannypsnl
Oct 17, 2023
Collaborator

可以參照
https://dannypsnl.me/math-000D.xml
的第一種定義

Replies: 1 comment

dannypsnl
Oct 23, 2023
Collaborator Author

參 #67

0 replies

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment