Actions, functors and the bar construction
Adhesive and quasiadhesive categories
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.
Adhesive and quasiadhesive categories
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.
Adjoint for double categories
Adjointness between theories and strict theories
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...
Adjonctions et monades au niveau des 2-catégories
Adjunctions in Monoidal categories.
Alcune proprietà della categoria delle -algebre
Algebraic colimit calculations in homotopy theory using fibred and cofibred categories.
Algebraic localizations and elementary toposes
Algèbre des descentes et cogroupes dans les algèbres sur une opérade
Algèbres enveloppantes à homotopie près, homologies et cohomologies
On présente une définition et une construction unifée des homologies et cohomologies d’algèbres et de modules sur ces algèbres et de modules sur ces algèbres dans le cas d’algèbres associatives ou commutatives ou de Lie ou de Gertsenhaber. On sépare la construction linéaire des cogèbres ou bicogèbres qui traduisent les symétries des relations de définition de la structure de la partie structure qui apparaît ici comme une codérivation de degré 1 et de carré nul de la cogèbre ou de la bicogèbre.
Algèbres graphiques (suites : Les bidules)
An abstract characterization of the jet spaces
An abstract setting for homotopy pushouts and pullbacks
An embedding theorem for Hilbert categories.
An Equivalence of Fusion Categories.
An Exact Sequence of Braid Groups.
An exponential law for regular ordered Banach spaces
An extended view of the Chu-construction.