General metrics and contracting operations

DOI10.1016/0012-365X(92)00527-XzbMath0813.06010OpenAlexW1989919940MaRDI QIDQ1331969

Maurice Pouzet, Ivo G. Rosenberg

Publication date: 6 June 1995

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0012-365x(92)00527-x

zbMATH Keywords

Heyting algebrageneralized metric spaceultrametrichyperconvexityrelational systems\(m\)-ary contracting operationsclones of contracting mapscongruence affine algebrafeedback-free compositionsstructural theory of automatavalue monoid

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Algebraic theory of languages and automata (68Q70) Heyting algebras (lattice-theoretic aspects) (06D20) Special maps on metric spaces (54E40) Operations and polynomials in algebraic structures, primal algebras (08A40) Relational systems, laws of composition (08A02)

Related Items (7)

Injective envelopes of transition systems and Ferrers languages ⋮ Injective envelope and parallel decomposition of a transition system ⋮ A fixed point theorem for commuting families of relational homomorphisms. Applications to metric spaces, ordered sets and oriented graphs ⋮ Free monoids and generalized metric spaces ⋮ A syntactic approach to the MacNeille completion of \(\Lambda^\ast\), the free monoid over an ordered alphabet \(\Lambda\) ⋮ Injective envelope of graphs and transition systems ⋮ Affine Complete Algebras

Cites Work

• Local completeness. I
• Compatible function extension property
• An application of the Helly property to the partially ordered sets
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Decomposability of modules into a direct sum of ideals
• The subalgebra systems of direct powers
• Semi-primal algebras; characterization and normal-decomposition
• Semi-categorical algebras. I: Semi-primal algebras
• Boolean geometry. I
• Embeddings and absolute retracts of relational system
• Sequential Functions
• Representations of Lattices by Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: General metrics and contracting operations