Coherent topos
In mathematics, a coherent topos is a topos such that it is generated by a collection of quasi-compact quasi-separated objects that is closed under finite products.[1]
See also
References
- Jacob Lurie, Categorical Logic (278x)
This is an old revision of this page, as edited by TakuyaMurata (talk | contribs) at 07:15, 26 June 2020 (→References). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
In mathematics, a coherent topos is a topos such that it is generated by a collection of quasi-compact quasi-separated objects that is closed under finite products.[1]
This mathematics-related article is a stub. You can help Wikipedia by expanding it. |