[GdT Categories] GdT Catégories demain ?

Bonjour à tous, Il n'y a pas d'orateur prévu demain. Je propose donc de me dévouer au dernier moment et faire une présentation sur les foncteurs indexés, fibrations et produits monoïdaux / (co)Carthésiens. Plus précisément je penses présenter : * les notions de foncteurs indexés et de (op)fibrations, reliés par la transformation de Grothendieck, * les notions de produits monoïdaux internes (dans les fibres), externe (dans la fibration) et comment on peut passer de l'un à l'autre (travaux de Shulman [0706.1286] <https://arxiv.org/abs/0706.1286>) * logiques se plaçant dans les cas où on n'a pas d'internalisation, et donc à la fois un produit interne et un produit externe (ma propre recherche). à demain, 10h15 en B107, Flavien