本調査研究は、圏論のための証明支援系のためのユーザ・インターフェイスを設計、 試作して、そのフィージビリティを評価することを目的とする。圏論の命題を図式にもとづいて表記する構文を形式的に定義し、計算機によって図式を直接扱えるようにする。この構文に基づき描画、論理式生成、証明などを行うコマンドを設計し、ＪＡＶＡを用いてシステムを試作する。