96
Maths vs Philosophy
(mander.xyz)
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
This is a science community. We use the Dawkins definition of meme.
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.