Timeline for Adjoining an arrow to a CCC
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 27, 2022 at 10:35 | answer | added | AGur | timeline score: 0 | |
| Jun 9, 2022 at 16:26 | comment | added | Nico | The same thing confused me too. It is even worse, the free CCC of $(UA)[x]$ will not even have a well defined functor $A\to F(UA[x])$, because forming the free cartesian category from a graph doesn't make the identifications $f\circ g =h$ which hold in the category $A$ has. Also it doubles the exponentials and products etc.. I believe it is best to invent a new deductive system to describe $A[x]$. | |
| Jul 15, 2013 at 1:21 | vote | accept | tsctsc | ||
| Jul 14, 2013 at 21:35 | answer | added | Todd Trimble | timeline score: 8 | |
| Jul 14, 2013 at 21:06 | comment | added | François G. Dorais | I think they mean the two categories are equivalent, not that they are equal. | |
| Jul 14, 2013 at 20:32 | review | First posts | |||
| Jul 14, 2013 at 20:47 | |||||
| Jul 14, 2013 at 20:14 | history | asked | tsctsc | CC BY-SA 3.0 |