Timeline for Can the effective topos be seen as symmetric monoidal?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 26, 2019 at 12:10 | review | Close votes | |||
| Jul 16, 2019 at 21:16 | |||||
| Jun 24, 2019 at 21:15 | comment | added | DV196883 | Oh ok I didn't know that. Thank you, Todd. I have been trying to pick things up on my own as no one near me is familiar with topos theory. Thanks for the reference too. Also this idea is more along the lines of studying partial recursive functions through string diagrams, and about the feasability of the endeavor more than anything. Maybe some of what is well known of the effective topos could help. | |
| Jun 24, 2019 at 20:50 | comment | added | Todd Trimble | Well, yes, toposes are cartesian closed by definition. As for string-like diagrams in symmetric monoidal closed categories, you can read what Baez and Stay say in their Rosetta Stone paper. But I'm not sure how truly useful this would be for studying the effective topos. | |
| Jun 24, 2019 at 17:30 | review | First posts | |||
| Jun 24, 2019 at 18:31 | |||||
| Jun 24, 2019 at 17:30 | history | asked | DV196883 | CC BY-SA 4.0 |