All Questions
1
question
1
vote
0
answers
60
views
Second order lambda calculus as dinatural transformations in some category of CCCs
Let $\textbf{CART}$ be a category where the objects are all Cartesian closed categories (henceforth shortened as CCC). Is there any way to define the arrows so that $\textbf{CART}$ itself becomes ...
