• 3 Posts
  • 19 Comments
Joined 5 months ago
cake
Cake day: April 9th, 2024

help-circle
  • From what I gathered from the Wikipedia page of Kripke Models, they take the form of something like a graph (nodes and edges). My mediocre knowledge of higher math makes me wave my hands and say something about Category theory also working with graph-like structures and that sheaves and topoi definitely come up there, too.