Characterizations of modalities and lex modalities

A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of ∞-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse L: (1) the associated subuniverse $L^{\prime }$ of L-separated types is a modality; (2) L is a modality; (3) L is a lex modality; and (4) L is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to L, such as the L-étale maps, the L-equivalences, the L-local maps, the L-connected maps, the unit maps ${\eta }_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict.     

白云石制备似立方体状方解石型碳酸钙晶体及其机理研究

以轻烧白云石粉、氯化铵和二氧化碳为原料,在未使用晶型控制剂的情况下,通过蒸氨-沉钙过程制备出了似立方体状碳酸钙。研究了反应温度、溶液中钙离子浓度、通气速率、搅拌速度以及陈化时间对碳酸钙中方解石相含量以及晶体形貌的影响,并探索了沉钙反应的晶型控制机理。结果表明,在反应温度40 ℃、钙离子浓度0.05 mol/L、通碳速率100 mL/min、搅拌速度400 r/min和陈化时间2 h的条件下,制备出形貌规整、粒径分布均匀的似立方体状碳酸钙,平均粒径为5~10 μm。该研究为提升白云石的使用价值、生产高附加价值的碳酸钙产品,以及提高白云石资源的利用率提供理论基础。