scientific article; zbMATH DE number 3259916

zbMath0162.32602MaRDI QIDQ5545978

Jean Bénabou

Publication date: 1968

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1968__10_1_1_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general algebraic structures

Related Items

Fuzzy terms, Unnamed Item, Categorical aspects of data type constructors, Finite cardinals in general topoi, Unnamed Item, On the cobordism and commutative monoid with cancellation approaches to conformal field theory, Homotopy coherent category theory and \(A_\infty\)-structures in monoidal categories, Final algebra semantics and data type extensions, Coherence for categories with associativity, commutativity and distributivity, Varieties of chain-complete algebras, Unnamed Item, An algebraic semantics for structured transition systems and its application to logic programs, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, On the existence and exactness of the associated sheaf functor, Relative cohomology of algebraic theories, Unnamed Item, Topos Theory in Montréal in the 1970s: My Personal Involvement, Unnamed Item, Unnamed Item, Unnamed Item, Coherence for associativity not an isomorphism, A-transformation dans les arbres n-aires, Correctness of recursive parallel nondeterministic flow programs, Maps of finite powers of metric spaces (recursive conditions for spaces at work), Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories, Coherence for bicategories and indexed categories, Variation through enrichment, Free groupoids, trees, and free groups, A general formulation of homotopy limits, Unnamed Item

Cites Work

• Group-like structures in general categories. I. Multiplications and comultiplications
• Sur quelques points d'algèbre homologique
• Lois de groupes et analyseurs
• Categorical algebra
• Algebras with a Scheme of Operators
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item