Timeline for On the category of virtual species
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2013 at 14:37 | comment | added | Jacques Carette | It definitely should be related to Schanuel's Negative sets - but the details need to be worked out. The work that motivates this question is related to "Seven Trees in One", but I am not sure whether this question itself is, directly. If it is, I would find that relation quite interesting and on topic! | |
| Mar 19, 2013 at 13:00 | comment | added | Adam Epstein | For clarification, perhaps someone could say something about this matter is (or is not) related to considerations in Blass's "Seven Trees in One" and Schanuel's "Negative sets have Euler Charactieristic and dimension". | |
| Mar 19, 2013 at 12:13 | vote | accept | Jacques Carette | ||
| Mar 19, 2013 at 2:34 | comment | added | Jacques Carette | @David: indeed. I tried to read the main paper that solves this problem, and could not follow it. I had hoped that, in this case, things were simpler. | |
| Mar 19, 2013 at 0:24 | answer | added | Todd Trimble | timeline score: 10 | |
| Mar 18, 2013 at 23:54 | comment | added | David Roberts♦ | You might see this as being something like a categorified ring completion for species. I've not seen this before, but wondered about similar constructions. Note that in the case of taking a rig category, forming the 'ring completion' is not that simple: the product is not preserved by the naive constructions one might first try (this was a problem in algebraic K-theory for a while). | |
| Mar 18, 2013 at 21:09 | history | asked | Jacques Carette | CC BY-SA 3.0 |