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 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