Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added a subsection to cartesian closed category, the functional completeness theorem. (To be expanded upon, eventually.)
Added a reference which I just discovered to the section “exponentials of cccs” at cartesian closed category.
1 to 3 of 3