Koherentní topos - Coherent topos - Wikipedia
V matematice, a koherentní topos je topos generované sbírkou kvazi-kompaktních kvazi-oddělených objektů uzavřených pod konečnými produkty.[1]
Viz také
Reference
- Jacob Lurie, Kategorická logika (278x)
externí odkazy
![]() | Tento článek týkající se matematiky je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |