Timeline for Variable-centric logical foundation of calculus
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2018 at 23:11 | comment | added | Todd Trimble | Courtesy of Mike Shulman: see D.4.2 in Johnstone's "Elephant": ncatlab.org/nlab/show/Elephant | |
| Aug 12, 2018 at 14:32 | comment | added | Todd Trimble | @MichaelBächtold I'm trying to think of a good reference to give you. Just generally speaking, I regard this as an application of a general theory of "doctrines" which are, roughly speaking, 2-monads on $Cat$, where the task is to give a suitable 2-coequalizer presentation $F(R) \rightrightarrows F(C) \to \mathit{Diff}$ in a 2-category of cartesian-closed categories, analogous to how we present algebras by generators and relations. This type of thing was explored in "Australian category theory" (e.g., SLNM 420) during the 70's. I've asked at the nLab if anyone knows a good reference. | |
| Aug 12, 2018 at 11:06 | comment | added | Michael Bächtold | 'This universal cartesian closed category can be constructed syntactically' Do you know if this has been written down somewhere? I just stumbled upon this, hoping to find an answer to my related question. | |
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Dec 7, 2012 at 11:34 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
two f's in a row look so hideous without proper kerning that I had to fix the TeX coding
|
| Dec 7, 2012 at 8:43 | history | edited | Todd Trimble | CC BY-SA 3.0 |
added a link to another MO thread
|
| Dec 7, 2012 at 2:43 | comment | added | Todd Trimble | Oh! That's good to know. | |
| Dec 7, 2012 at 2:03 | comment | added | Andrej Bauer | IT's the same differential calculus, I think. | |
| Dec 7, 2012 at 1:54 | history | answered | Todd Trimble | CC BY-SA 3.0 |