Timeline for answer to What does the word "let" mean in mathematics? by Zhen Lin
Current License: CC BY-SA 4.0
Post Revisions
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 21, 2025 at 15:03 | comment | added | N. Virgo | @QiaochuYuan the idea is explored at length in Jacobs' Categorical Logic and Type Theory, though it's not the world's easiest book to read. | |
| Jul 20, 2025 at 22:41 | comment | added | Qiaochu Yuan | This is helpful, thanks! The idea of implementing introducing a new variable via pullback is new to me, that's nice. | |
| Jul 20, 2025 at 22:13 | history | answered | Zhen Lin | CC BY-SA 4.0 |