dmm: (Default)
I used to understand this material in 2012-2014 (I even mentioned it in our own paper published in those years), and it turned out recently that I no longer could reproduce the detailed definitions from memory.

So I am rereading this paper by Isar Stubbe, it's really nice, not excessively difficult (I usually have difficult time reading categorical papers, but this one is a pleasant exception).

Links are in the comments.
dmm: (Default)
November 13, 1940 – September 15, 2022

He created Kripke semantics, the semantics of "possible worlds"

Profile

dmm: (Default)
Dataflow matrix machines (by Anhinga anhinga)

December 2025

S M T W T F S
 123456
78910111213
141516 17181920
21222324252627
28293031   

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 1st, 2026 06:25 pm
Powered by Dreamwidth Studios