本書は数学および理論計算機科学における（２項）関係の代数理論を紹介するために日本語で書かれた入門書である．関係の代数理論は点の概念への依存を軽減して非決定的な機能を体系的に形式化するための言葉であり，初等的な集合論，ネットワークフローの理論，プログラム意味論などを効果的に展開することができる．現代的な関係の代数理論に関する研究はTarskiによってはじめられた．彼らの理論はブール代数の理論を基礎とする関係代数として公理化された．FreydとScedrovはTarskiの関係代数を圏論に基づき拡張しこれを寓圏(allegory)と名付けた．本書で紹介するDedekind圏は寓圏の表現力を豊かにしたもので，通常の関係のみならずファジィ関係やL-ファジィ関係をも含む関係理論を展開するための代数的枠組みである．本書は数学の基本的な事柄から準備をはじめ，代数理論を展開するまでに一通り素朴集合論に基づく関係を題材に代数理論で用いられる基本的性質についても述べられ，証明も丁寧に書かれている．また，代数や圏論の一般論については必要以上に深入りしないように配慮されている．後半では，集合論との対応について・・・

・写真内にある本・DVD・CDなど商品以外のメジャーやライター等のサイズ比較に使用した物、カゴやブックエンド等撮影時に使用した物は付属致しません。