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.
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).
completely unnecessary article, the faithfulness of the functor U:C→Set 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
1 to 4 of 4