は二項積を持つ圏とし、はの対象とする。指数対象は関手からへの普遍射として定義することができる。ここで、はからへの関手であって対象をへ写し、射をへ写すようなものである。以上の定義は次のようにして述べることもできる。評価射を伴う対象が指数対象であるとは、任意の対象と射に対し、射で次の図式を可換とするものが一意的に存在するときに言う。ここに現れる射をのカリー化あるいは転置などという。の各対象に対して指数対象が存在するならば、をへ写す関手は、関手の右随伴となる。この場合、射集合の間の自然な全単射理論計算機科学における概念との対応.以上の諸概念は、理論計算機科学における計算手続きの抽象化に重要な役割を果たす。データ型とに対し、はの型のデータを入力とし、の型のデータを出力とするような計算手続きの型を表していると考えることができる。このとき、とは個々の計算手続きと入力データに対して出力データを計算する手続きであると解釈することができる。また、射に対してを考えるということは、が表していた複数の入力を取る計算手続きに対してカリー化を行うということに対応している。したがって、という等式はカリー化された手続きと元の手続きとの関係を表していることになる。計算機科学やそれに関係した文脈では、これらの概念を以下のように異なった記号や用語で表すことに注意する必要がある。指数対象はで表し、はなどによって、また、は(適用)という用語を用いる。これらの記号が用いられた理由はコンピュータスクリーン上の組版の制約のためであったり、ラムダ計算との記号の重複を避けるためであったりということである。例.集合の圏における指数対象はからへの写像全体の成す集合(配置集合)として与えられる。射は、順序対をへ写す評価写像(evaluation)に他ならない。任意の射に対して、射はのカリー化によって与えられる。としてのハイティング代数における指数対象は相対擬補元に他ならない。前述の随伴はと対応する。束論も参照のこと。EndoftheWorld(米川英之のアルバム)プラスEX概要.座席番号リクエストサービス.エクスプレス予約との相違点.