arXiv (All)open access
On the theories classified by an étendue
logic, category theory, 03g30 (primary) 18f10, 18b25, 03c50 (secondary)
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 971698
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.