先週、「Alloyの矢印記法と、モノイド閉圏としての関係圏」で、「Alloyで直積を表す矢印記号は、関係圏で解釈するとツジツマがあう」という話をしました。より一般に、Alloyの意味論を関係圏Rel上で展開してみるのは面白そうです。とはいっても、Alloyがカテ…