Factorization systems for symmetric cat-groups.
Feedback, trace and fixed-point semantics
We introduce a notion of category with feedback-with-delay, closely related to the notion of traced monoidal category, and show that the Circ construction of [15] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal et al. [12] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain a categorical analogue of the classical localization of a ring with respect to a multiplicative subset....
Feedback, trace and fixed-point semantics
We introduce a notion of category with feedback-with-delay, closely related to the notion of traced monoidal category, and show that the Circ construction of [15] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal et al. [12] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain a categorical analogue of the classical localization of a ring with respect to a multiplicative subset....
Finite sets and symmetric simplicial sets.
Foncteur pleinement fidèle dense classant les algèbres
Foncteurs polynomiaux et foncteurs de Mackey non linéaires
On décrit les foncteurs polynomiaux, des groupes abéliens libres vers les groupes abéliens, comme des diagrammes de groupes abéliens dont on explicite les relations.
Foncteurs sous-objets et relations continues
Formal Translation Monoid and Algebra Congruences in a Monodial Category.
Framed bicategories and monoidal fibrations.