[[!redirects 易经]] [[!redirects 易经]] [[!redirects 易经]] [[!redirects 易经]] ## References * Urs Schreiber * [geometric yi jing](http://ncatlab.org/schreiber/files/iching.pdf) * [differential cohomology in a cohesive (infinity,1)-topos](http://ncatlab.org/schreiber/show/differential+cohomology+in+a+cohesive+topos) * Michael Shulman * [internalizing the external](http://golem.ph.utexas.edu/category/2011/11/internalizing_the_external_or.html) * [higher modalities](http://uf-ias-2012.wikispaces.com/file/view/modalitt.pdf) * On reflective factorization systems: * Cassidy and Hébert and [[nLab:Max Kelly|Kelly]], "Reflective subcategories, localizations, and factorization systems". *J. Austral. Math Soc. (Series A)* 38 (1985), 287--329 ([pdf](http://journals.cambridge.org/download.php?file=%2FJAZ%2FJAZ1_38_03%2FS1446788700023624a.pdf&code=5796045be8904c5183c2e95bce65491e)) {#CHK} * Carboni and [[nLab:George Janelidze|Janelidze]] and [[nLab:Max Kelly|Kelly]] and Paré, "On localization and stabilization for factorization systems", *Appl. Categ. Structures* 5 (1997), 1--58 {#CJKP} * On modal logic * Stanford Encyclopedia of Philosophy, [modal logic](http://plato.stanford.edu/entries/logic-modal)