Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with grothendieck-construction
Search options answers only
not deleted
user 11540
10
votes
Accepted
Does the Grothendieck construction satisfy Fubini's thorem
Yes. See section 4.2 of this paper by Harpaz and Prasma, which also extends the result to the setting of model categories.
Another good source on these topics is Emily Riehl's book. The Fubini result …
- 30.3k