Shawn Standefer on Nostr: How much category theory would one need to introduce to make a connection to ...
How much category theory would one need to introduce to make a connection to intuitionistic logic in a course on intuitionistic logic?
Published at
2023-12-20 09:24:10Event JSON
{
"id": "6bfe8c5521fd9fd4fd696e43fb1658159b9c9d262990ed08bb30e0fa056ae45c",
"pubkey": "f86aefd9037ce9a5700fb239f340500f20e2bfbc36561b96111dc3d550b15eb5",
"created_at": 1703064250,
"kind": 1,
"tags": [
[
"proxy",
"https://fediscience.org/users/standefer/statuses/111612018741876017",
"activitypub"
]
],
"content": "How much category theory would one need to introduce to make a connection to intuitionistic logic in a course on intuitionistic logic?",
"sig": "d47373c84f9ba4fafff3bc8f774d7198903ea129156ff6700fe676b0eb5ad5a3dc9b3e1092510098c5b0afa32df031ac9b633b3b43afe5a83f94f81c6a9268cf"
}