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.
Tim Hosgood (Apr 01 2020 at 11:50):j'ai vu le mot « cosmos » (où même cosmos de Bénabou) pour dire « catégorie monoïdale symétrique bicomplète et fermée » mais j'ai jamais trouvé l'étymologie ou même le premier usage. est-ce que quelqu'un pourrait démystifier un peu ce mot ? c'est pas du tout important mais ça reste quand même un petit truc qui m'a toujours enquiquiné un peu
Tim Hosgood (Apr 01 2020 at 11:50):(à voir aussi: https://math.stackexchange.com/questions/1666506/original-usage-of-b%c3%a9nabou-cosmos )