∂ arXiv reader

Read

Home All papers Categories

Items

Definitions4,003 Theorems5,048 Propositions3,739 Lemmas6,037 Corollaries1,825 Claims, facts and other statements369 Conjectures163 Problems and questions265 Examples1,214 Remarks3,536

Project

Licences About Data on GitHub Code on GitHub

Home › All papers › June 2016

June 2016

1 paper.

Contravariance through enrichment
Michael Shulman · 1606.05058 · math.CT · CC BY 4.0

12 statements

The text of each paper belongs to its authors and is shown under the licence of the paper, which the page of the paper names. The structure, the tags and the pages of this site are published under CC BY 4.0. The metadata comes from arXiv under CC0 1.0. This site is not affiliated with arXiv. Thank you to arXiv for use of its open access interoperability.

Built on 27 October 2026 from acb7a8c. Licences · About