Calcul des relations inverses
Calcul des satellites et présentations des bimodules à l'aide des carrés exacts (2e partie)
Categorical properties of iterated power.
Catégories multiéquationnelles
Catégorification de structures définies par monade cartésienne
Categorification of Hopf algebras of rooted trees
We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec ℕ) whose semiring of functions is (a P-version of) the Connes-Kreimer bialgebra H of rooted trees (a Hopf algebra after base change to ℤ and collapsing H 0). The monoidal structure is itself given by a polynomial functor, represented by three easily described set maps; we show that these maps are the same as those occurring...
Coalgebras, braidings, and distributive laws.
Cogeneration and minimal realization (Preliminary communication)
Coherence for pseudodistributive laws revisited.
Compléments à l'article «Théories algébriques et extension de préfaisceaux»
Completely regular relational algebras
Complétion monadique
Condition syntaxique de triplabilité d'un foncteur algébrique esquissé
Constructions fondamentales de dégré supérieur.
Convergence in exponentiable spaces.
Coproducts of ideal monads
The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly [Bull. Austral. Math. Soc. 22 (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, Lect. Notes Artif. Intell. 2309 (2002) 18–32],...
Coproducts of Ideal Monads
The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly [Bull. Austral. Math. Soc.22 (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, Lect. Notes Artif. Intell.2309 (2002)...
Correction to “Fibrations in bicategories”
Covariant presheaves and subalgebras.