Spahn 几何易经 (Rev #1)

References

• Urs Schreiber

  • geometric yi jing
  • differential cohomology in a cohesive (infinity,1)-topos

• Michael Shulman

  • internalizing the external

  • higher modalities

• On reflective factorization systems:

  • Cassidy and Hébert and Kelly, “Reflective subcategories, localizations, and factorization systems”. J. Austral. Math Soc. (Series A) 38 (1985), 287–329 (pdf)

  • Carboni and Janelidze and Kelly and Paré, “On localization and stabilization for factorization systems”, Appl. Categ. Structures 5 (1997), 1–58

• On modal logic

  • Stanford Encyclopedia of Philosophy, modal logic