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.
We have a functor between two freely generated symmetric monoidal categories such that the image of generating objects in the source category are always generating objects in the target category. Is there a name/terminology for such functors? Or, is 'generator-preserving' an understandable name?
Aren't these the images (under the free functor) of maps between generators themselves?
Sounds like a clear term to me. I don't know a standard term.
Morally speaking I would call them “cellular”, but “generator-preserving” is probably clearer for most audiences :)
Tao Gu said:
We have a functor between two freely generated symmetric monoidal categories such that the image of generating objects in the source category are always generating objects in the target category. Is there a name/terminology for such functors? Or, is 'generator-preserving' an understandable name?
In the Petri net literature, where these things are widely used, these are called "transition-preserving"
In the case of pre-nets it's exactly what you want. In the case of Petri net, each generator can be pre- and post- composed with a symmetry
But if you aren't doing Petri-nets this naming convention may look weird.