A comonad for Grothendieck fibrations 2QB5F6J24Q
| URI | m2://res/2QB5F6J24Q |
|---|---|
| Kind | preprint |
| Creators | Jacopo Emmenegger, Luca Mesiti, Giuseppe Rosolini, Thomas Streicher |
| Date | 2023-05-02 |
| MSC | 18-XX |
| Subjects | arxiv math.CT |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2023-05-02 |
| Ids | arXiv 2305.01474 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| Gray, Street | statement | proposition 2.3 | arxiv |
| 49JPBJGHYX | statement | proposition 5.3 | arxiv |
| 4YCP50CQWT | statement | proposition 3.1 | arxiv |
| 8ZA002HS8F | statement | proposition 5.2 | arxiv |
| Lack, Power | statement | theorem 5.7 | arxiv |
| A9B6CE1G39 | statement | proposition 3.7 | arxiv |
| EDN7MKM995 | statement | theorem 3.4 | arxiv |
| HFQCFA3FQ7 | statement | theorem 5.4 | arxiv |
| Lack | statement | theorem 5.1 | arxiv |
| Street, Johnson--Yau | statement | theorem 2.6 | arxiv |
| TFSSX1W8HG | statement | theorem 4.1 | arxiv |
| TWCSMYDA67 | statement | proposition 3.3 | arxiv |
| Kock, Z\"oberlein | definition | definition 2.1 | arxiv |
Catalogue records
- arxiv: 2305.01474 (work)
- arxiv_text: 2305.01474 (work)