闭锥小类量子的初等刻划
Elementary characterisation of small quantaloids of closed cribles
摘要：
每一个小位点（C，J）决定一个闭cribles的小quantaloid R（C，J）。本文证明了小拟量子群Q对某个小点（C，J）等价于R（C，J）当且仅当在Q中的左伴随范畴Map（Q）上存在（必然次标准）Grothendieck拓扑J使得Q=R（Map（Q），J），当且仅当Q是局部局部的、映射离散的、弱表的和弱模的.如果在Q中的上自反分裂，则Map（Q）上的拓扑J是标准拓扑。
英文摘要：
Each small site (C,J) determines a small quantaloid of closed cribles R(C,J). We prove that a small quantaloid Q is equivalent to R(C,J) for some small site (C,J) if and only if there exists a (necessarily subcanonical) Grothendieck topology J on the category Map(Q) of left adjoints in Q such that Q=R(Map(Q),J), if and only if Q is locally localic, map- discrete, weakly tabular and weakly modular. If moreover coreflexives split in Q, then the topology J on Map(Q) is the canonical topology.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
