Timeline for Trace in the category of propositional statements
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2019 at 16:59 | history | edited | failedentertainment | CC BY-SA 4.0 |
added 15 characters in body
|
| Jun 30, 2019 at 16:58 | comment | added | failedentertainment | @YemonChoi Wasn't paying too much attention. fin dim case only, edited | |
| Jun 30, 2019 at 11:31 | comment | added | Yemon Choi | @OscarCunningham Noted, but the OP did blithely claim that every object in Vect was dualizable. Correction to my previous comment: the dualizable objects in Vect are precisely the finite-dimensional vector spaces | |
| Jun 30, 2019 at 11:22 | comment | added | Oscar Cunningham | @YemonChoi True. But note that you can define trace for an endomorphism of a dualizable object even if the category doesn't have duals for all objects. | |
| Jun 30, 2019 at 9:27 | history | became hot network question | |||
| Jun 30, 2019 at 3:41 | comment | added | Yemon Choi | By ${\bf Vect}_k$ do you mean all $k$-vector spaces or just the finite-dimensional ones? The full category of $k$-vector spaces does not have dualizable objects in the sense needed for a trace, see Definition 2.1 of the Ponto-Shulman paper | |
| Jun 30, 2019 at 3:41 | history | edited | failedentertainment | CC BY-SA 4.0 |
deleted 12 characters in body
|
| Jun 30, 2019 at 3:36 | vote | accept | failedentertainment | ||
| Jun 30, 2019 at 3:23 | answer | added | Mike Shulman | timeline score: 15 | |
| Jun 30, 2019 at 1:25 | review | First posts | |||
| Jun 30, 2019 at 3:28 | |||||
| Jun 30, 2019 at 1:20 | history | asked | failedentertainment | CC BY-SA 4.0 |