Timeline for How to define the internal hom between presheaves valued in cotensored categories?
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 20, 2015 at 17:56 | vote | accept | Zhaoting Wei | ||
Aug 16, 2015 at 4:24 | history | answered | Theo Johnson-Freyd | CC BY-SA 3.0 |