指数是范畴中另一个重要的结构，本身的思想来源就是lambda抽象，λx.t，t为一个项，这个式子的意思是，输入x就输出t，于是算符λx.的含义就是将一个项变成一个函数。
考虑一个比较实际的例子，f(x,y)是二元函数，一般可表示为f(x,y):X×Y→R，意为给出两个变量的值，就输出函数的值。但是我们考虑另一种表示，f(x,y):X→R^Y，意为给出一个变量的值，就输出关于另一个变量的函数。指数其实就是指这个幂的符号。
指数的结构给出了关于函数的非常简单的描述，对于含有许多变量的多元函数，通过不断地构造指数结构就能给出形式繁多的函数。
不过总的来说，这个结构是与逻辑代数和形式演算关联的。
