scientific article; zbMATH DE number 3259916
From MaRDI portal
Publication:5545978
Cites work
- scientific article; zbMATH DE number 3179491 (Why is no real title available?)
- scientific article; zbMATH DE number 3207307 (Why is no real title available?)
- scientific article; zbMATH DE number 3220364 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3305134 (Why is no real title available?)
- scientific article; zbMATH DE number 3305161 (Why is no real title available?)
- scientific article; zbMATH DE number 3332144 (Why is no real title available?)
- scientific article; zbMATH DE number 3379057 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- Algebras with a Scheme of Operators
- Categorical algebra
- Elements of mathematics. Theory of sets
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Group-like structures in general categories. I. Multiplications and comultiplications
- Lois de groupes et analyseurs
- Sur quelques points d'algèbre homologique
Cited in
(32)- Final algebra semantics and data type extensions
- A-transformation dans les arbres n-aires
- scientific article; zbMATH DE number 30668 (Why is no real title available?)
- 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
- Finite cardinals in general topoi
- scientific article; zbMATH DE number 3318669 (Why is no real title available?)
- Coherence for bicategories and indexed categories
- Fuzzy terms
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- Homotopy coherent category theory and \(A_\infty\)-structures in monoidal categories
- Relative cohomology of algebraic theories
- On the cobordism and commutative monoid with cancellation approaches to conformal field theory
- Varieties of chain-complete algebras
- Variation through enrichment
- An algebraic semantics for structured transition systems and its application to logic programs
- scientific article; zbMATH DE number 3525361 (Why is no real title available?)
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- scientific article; zbMATH DE number 840414 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 3414502 (Why is no real title available?)
- Coherence for associativity not an isomorphism
- Correctness of recursive parallel nondeterministic flow programs
- Categorical aspects of data type constructors
- scientific article; zbMATH DE number 130895 (Why is no real title available?)
- Free groupoids, trees, and free groups
- On the existence and exactness of the associated sheaf functor
- Topos Theory in Montréal in the 1970s: My Personal Involvement
- Towards free localic algebras
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)
