scientific article; zbMATH DE number 3259916

zbMATH Open0162.32602MaRDI QIDQ5545978FDOQ5545978

Authors: Jean Bénabou 

Publication date: 1968

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

general algebraic structures

Cites Work

• Sur quelques points d'algèbre homologique
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Title not available (Why is that?)
• Group-like structures in general categories. I. Multiplications and comultiplications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical algebra
• Title not available (Why is that?)
• Algebras with a Scheme of Operators
• Elements of mathematics. Theory of sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lois de groupes et analyseurs
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (32)

• Final algebra semantics and data type extensions
• A-transformation dans les arbres n-aires
• Title not available (Why is that?)
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Every theory is algebraic and topologic
• Coherence for categories with associativity, commutativity and distributivity
• Title not available (Why is that?)
• Finite cardinals in general topoi
• Title not available (Why is that?)
• Coherence for bicategories and indexed categories
• Fuzzy terms
• Homotopy coherent category theory and \(A_\infty\)-structures in monoidal categories
• Relative cohomology of algebraic theories
• Varieties of chain-complete algebras
• On the cobordism and commutative monoid with cancellation approaches to conformal field theory
• Variation through enrichment
• An algebraic semantics for structured transition systems and its application to logic programs
• Title not available (Why is that?)
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Title not available (Why is that?)
• 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
• A general formulation of homotopy limits
• Title not available (Why is that?)
• Coherence for associativity not an isomorphism
• Correctness of recursive parallel nondeterministic flow programs
• Categorical aspects of data type constructors
• Title not available (Why is that?)
• Topos Theory in Montréal in the 1970s: My Personal Involvement
• Free groupoids, trees, and free groups
• Towards free localic algebras
• On the existence and exactness of the associated sheaf functor

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5545978)