Equational properties of iteration in algebraically complete categories
From MaRDI portal
Publication:1128480
DOI10.1016/S0304-3975(97)00158-8zbMath0903.18003OpenAlexW2079697982MaRDI QIDQ1128480
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00158-8
Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of machines, automata (18B20)
Related Items (15)
A connection between concurrency and language theory ⋮ μ-Bicomplete Categories and Parity Games ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Axiomatizing omega and omega-op powers of words ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational Properties of Stratified Least Fixed Points (Extended Abstract) ⋮ Recursion and corecursion have the same equational logic ⋮ On the equational definition of the least prefixed point. ⋮ Equational axioms associated with finite automata for fixed point operations in cartesian categories ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ Categorical rewriting of term-like structures ⋮ Rewriting on cyclic structures: Equivalence between the operational and the categorical description ⋮ Group axioms for iteration ⋮ Unique, guarded fixed points in an additive setting
Cites Work
- 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
- Fixed-point operations on ccc's. I
- A characterization of the least-fixed-point operator by dinaturality
- Solving reflexive domain equations in a category of complete metric spaces
- Independence of the equational axioms for iteration theories
- Least fixed point of a functor
- Towards a foundation for semantics in complete metric spaces
- Complete systems of \(\mathcal B\)-rational identities
- Fixed-point constructions in order-enriched categories
- Group axioms for iteration
- A completeness theorem for Kleene algebras and the algebra of regular events
- Completeness of Park induction
- Categorical fixed point semantics
- Equational logic of circular data type specification
- A fixpoint theorem for complete categories
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Algebraic specification of data types: A synthetic approach
- Vector Iteration in Pointed Iterative Theories
- The Category-Theoretic Solution of Recursive Domain Equations
- Equational axioms for regular sets
- SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
- Categorical fixed point calculus
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- A Perspective View of Discrete Automata and Their Design
- Iteration 2-theories
This page was built for publication: Equational properties of iteration in algebraically complete categories
