You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Joe Moeller (May 15 2020 at 16:41):Is there a name for a V-enriched category equipped with a V-functor to V? I want to call it "valuated", but I want to use a standard name even more, if it exists.
Amar Hadzihasanovic (May 15 2020 at 16:45):A right module over V?
Joe Moeller (May 15 2020 at 16:49):Yes, thanks!
Nathanael Arkor (May 15 2020 at 16:53):Presumably -copresheaf is also reasonable terminology.
Joe Moeller (May 15 2020 at 16:56):I'm also considering my V to be cocomplete, and the functor to be cocontinuous. Would that affect what I should call it? :thinking:
John Baez (May 15 2020 at 19:22):I might call it a "linear functional". But we probably want it to be nondegenerate: it should give zero only on zero.