Timeline for Does this concept have a name, and what are some of its applications?
Current License: CC BY-SA 2.5
12 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 29, 2010 at 15:05 | comment | added | Tom Boardman | I am an idiot. :( | |
Jun 29, 2010 at 14:55 | history | edited | Tom Boardman | CC BY-SA 2.5 |
deleted 616 characters in body
|
Jun 29, 2010 at 14:46 | history | edited | Tom Boardman | CC BY-SA 2.5 |
added 8 characters in body
|
Jun 29, 2010 at 14:28 | comment | added | Tom Boardman | @ Supercooldave- intriguing enough to warrant retrieval, feel free to play with below if you're up for expanding vvvv :) | |
Jun 29, 2010 at 14:14 | comment | added | Tom Boardman | @ Mariano: correct, and corrected :) | |
Jun 29, 2010 at 14:11 | history | edited | Tom Boardman | CC BY-SA 2.5 |
added 323 characters in body; added 17 characters in body
|
Jun 29, 2010 at 14:10 | comment | added | supercooldave | Pity you deleted it. In some recent work I was working with a closure operator which satisfied 3 of the 4 properties you mentioned (not the $\cup$ one). It turns out (conjecture!) that this was related to a pullback in a certain coslice category, which is quite related to what Peter LeFanu Lumsdaine is saying (though perhaps dual). Unfortunately, I cannot say anything in general, perhaps except that pullbacks in coslice categories correspond to taking certain maximums and pushouts in slice categories correspond to taking certain minimums. | |
Jun 29, 2010 at 14:08 | comment | added | Mariano Suárez-Álvarez | One should probably say: «the left adjoint, when it exists, provides...» :) | |
Jun 29, 2010 at 13:58 | history | edited | Tom Boardman | CC BY-SA 2.5 |
deleted 905 characters in body
|
Jun 29, 2010 at 12:54 | history | edited | Tom Boardman | CC BY-SA 2.5 |
added 327 characters in body
|
Jun 29, 2010 at 11:56 | history | edited | Tom Boardman | CC BY-SA 2.5 |
added 71 characters in body
|
Jun 29, 2010 at 11:43 | history | answered | Tom Boardman | CC BY-SA 2.5 |