July 2010 – Profunctors

July 2, 2010

Situation-Tree Logic on a Profunctor

Let $\ct F:\ct S\ag\ct M$ be a given profunctor. We regard it as a category, fully containing both $\ct S$ and $\ct M$ , with additional heteromorphisms $S\to M$ .
Objects of $\ct S$ will be regarded as abstract situations (we are given this and that perhaps with certain elementary conditions), objects of $\ct M$ will be called models, and a heteromorphism $S\to M$ is regarded as an interpretation of situation $S$ in model $M$ .
Continue reading “Situation-Tree Logic on a Profunctor”