プロ関手の説明として、「関手 ： プロ関手 ＝ 関数 ： 関係」という“比例式”がしばしば引き合いに出されます。一方で、「圏 ： 関手 ＝ 順序集合 ： 単調関数」という“比例式”もあります。これらの比例式達を合わせると： 圏 ： 関手 ： プロ関手 ＝ 順序集…