Skip to content

Instantly share code, notes, and snippets.

@jtpaasch

jtpaasch/Modalities-Notes.md

Last active January 22, 2022 15:40
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jtpaasch/555751e858e437aa3bb068b6ed305847 to your computer and use it in GitHub Desktop.
Save jtpaasch/555751e858e437aa3bb068b6ed305847 to your computer and use it in GitHub Desktop.
Download ZIP
Notes on modalities in category theory and type theory
Raw
Modalities-Notes.md

Modalities

  • Mitchell, Foundations, section 7.3 (Kripke Lambda Models)
  • Ranta, article on possible worlds
  • Bell, Topos: Local Set Theories
  • Goldblatt, Mathematics of Modality chapters on modality
  • nLab on categories of contexts (syntactic categories)
  • Taylor, Practical Foundations, chapter on CCCs has stuff on categories of contexts
  • Emily Reihl's video lecture on monads and Lawere theories
  • Primiero on information
  • Maria van der Sheer on epistemology
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment