7: Logic of Behavior - Sheaves, Toposes, Languages
( \newcommand{\kernel}{\mathrm{null}\,}\)
- 7.5: A topos of behavior types
- Now that we have discussed logic in a sheaf topos, we return to our motivating example, a topos of behavior types. We begin by discussing the topological space on which behavior types will be sheaves, a space called the interval domain.