Category Theory
Zulip Server
Archive

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.


Stream: practice: terminology & notation

Topic: codisplay maps


view this post on Zulip Matteo Capucci (he/him) (Jul 02 2024 at 08:05):

Is there an established name for a class of maps stable under pushouts, like 'display maps' is a name for a class of maps stable under pullback? Cofibrations is a little too heavy-handed. I'd go with codisplay if no one has a better suggestion.

view this post on Zulip Nathan Corbyn (Jul 02 2024 at 09:00):

Codisplay map appears to be accepted terminology (it appears in @Jonas Frey’s upcoming paper on clan-algebraic duality—definition 2.4). I personally use the word a lot.