Contravariance through enrichment V6392C0ANF
| URI | m2://res/V6392C0ANF |
|---|---|
| Kind | preprint |
| Creators | Michael Shulman |
| Date | 2016-06-16 |
| MSC | 18-XX |
| Subjects | arxiv math.CT |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2016-06-16 |
| Ids | arXiv 1606.05058 |
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 |
|---|---|---|---|
| 258DTEBQDG | statement | theorem F.1 | arxiv |
| 3FS9MC4PE0 | statement | theorem G.2 | arxiv |
| 3N5PF9XVNX | statement | theorem C.1 | arxiv |
| 6FWTVTX7F1 | statement | theorem A.1 | arxiv |
| 7AWGA6BVER | statement | theorem C.2 | arxiv |
| 9K1ZTJ9YQM | statement | theorem H.1 | arxiv |
| FSFDR96JRN | statement | theorem B.1 | arxiv |
| P3NGP3T155 | statement | theorem H.2 | arxiv |
| R013E1WQQE | statement | theorem E.1 | arxiv |
| W2WRQJBDQ1 | statement | theorem G.1 | arxiv |
| Z98EJZC38B | statement | theorem D.1 | arxiv |
Catalogue records
- arxiv: 1606.05058 (work)
- arxiv_text: 1606.05058 (work)