Sat, 31 May 2025 01:29:47 +0000

Lawvere and Schanuel’s introduction to Category Theory