Timeline for Flat base change and the quasicoherator
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 18 at 8:48 | answer | added | YJ_cat | timeline score: 2 | |
| May 4, 2023 at 17:23 | comment | added | Michael Barz | @JasonStarr Sorry, I tried looking at this, but I'm not sure it can get me what I want -- B.14 seems to address this, but only in the quasicompact quasiseparated case; although maybe I am missing something. | |
| May 4, 2023 at 10:26 | comment | added | Jason Starr | Since pushforward is compatible with open inclusions (by definition), you are really asking whether the coherator is compatible with open inclusions. This is directly addressed in B.13 of Appendix B of Thomason-Trobaugh, right after Thomason introduces the coherator. | |
| May 3, 2023 at 23:46 | history | asked | Michael Barz | CC BY-SA 4.0 |