Timeline for Trace in the category of propositional statements
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2019 at 17:02 | comment | added | failedentertainment | @OscarCunningham yes but in the case of finite dimensional vector spaces, the trace of the identity endomorphism is the dimension of the vector space, so interesting information can still be gleaned. | |
| Jun 30, 2019 at 11:41 | comment | added | Mike Shulman | @OscarCunningham Also true. | |
| Jun 30, 2019 at 11:40 | comment | added | Mike Shulman | @AbhishekShivkumar Check out the citations in our paper. | |
| Jun 30, 2019 at 11:17 | comment | added | Oscar Cunningham | There's only one morphism $I\to I$ so the trace would be trivial even if it was defined. | |
| Jun 30, 2019 at 3:41 | review | Suggested edits | |||
| Jun 30, 2019 at 5:59 | |||||
| Jun 30, 2019 at 3:36 | vote | accept | failedentertainment | ||
| Jun 30, 2019 at 3:29 | comment | added | failedentertainment | Ah, thanks for the information. I hadn't seen any discussion of categorical trace outside of your paper. | |
| Jun 30, 2019 at 3:23 | history | answered | Mike Shulman | CC BY-SA 4.0 |