Exponential object

Endrika:=en=

Endrika:-ana- exponential object

1. zavatra iray izay manondro ny fianakavian'ny zana-tsipìka eo anelanelan'ny zavatra roa nomena amin'ny fomba morphisme iraisan'ny rehetra, midika

• currying $\sim$ Endrika:W (an instance of which is the transpositioning $\lambda$ in the figure)
• modus ponens (homologous to the universal evaluation morphism, $\text{eval}$)