completely unnecessary article, the faithfulness of the functor in the definition of concrete category, and the fact that Set is cartesian closed, means that all concrete categories have an evaluation map for its morphisms.
Anonymous
]]>Could we add some references on usage of this terminology? Or else a comment that it’s meant to be new terminology?
But I see that this is material being ported over from evaluational category (homotopytypetheory) (which doesn’t attribute the terminology either).
]]>have added hyperlinks to a few more terms
]]>Page created, but author did not leave any comments.
Anonymous
]]>