Timeline for Technical term for representing object of a presheaf determined by a left-adjoint?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 27, 2017 at 19:11 | comment | added | Todd Trimble | Fair enough! +1. | |
| Jun 27, 2017 at 18:55 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 3.0 |
fixed LaTeX
|
| Jun 27, 2017 at 18:54 | comment | added | Peter LeFanu Lumsdaine | @ToddTrimble: yes, I saw — I wanted to emphasise this more than you do, though, and add references, since I think cofree is really the standard answer to OP’s specific question, not just one possibility. Your answer gives many more important general points, addressing the general discussion in the question, but I feel that this — as the overall answer — deserved being stated a bit more strongly. | |
| Jun 27, 2017 at 18:40 | comment | added | Todd Trimble | Actually, I mentioned this as well in my answer. :-) | |
| Jun 27, 2017 at 18:35 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 3.0 |