Add a reference to a Hilbert–Post style completeness result for cartesian closed categories.
]]>added pointer to:
added pointer to:
added pointer to:
added pointer to:
link the text “finite products” to finite products instead of products
Anonymous
]]>Added a reference which I just discovered to the section “exponentials of cccs” at cartesian closed category.
]]>Added a subsection to cartesian closed category, the functional completeness theorem. (To be expanded upon, eventually.)
]]>