# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Page created, but author did not leave any comments.

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeMay 14th 2022

have added hyperlinks to a few more terms

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeMay 14th 2022

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

2. completely unnecessary article, the faithfulness of the functor $U:C \to 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