Equational properties of iteration in algebraically complete categories
From MaRDI portal
Publication:1128480
DOI10.1016/S0304-3975(97)00158-8zbMATH Open0903.18003OpenAlexW2079697982MaRDI QIDQ1128480FDOQ1128480
Authors: Zoltán Ésik, Anna Labella 
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
Recommendations
- scientific article; zbMATH DE number 1114042
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Equational properties of fixed point operations in Cartesian categories: an overview
- Equational axioms associated with finite automata for fixed point operations in cartesian categories
- scientific article; zbMATH DE number 233974
Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)
Cites Work
- Title not available (Why is that?)
- Group axioms for iteration
- Completeness of Park induction
- Equational logic of circular data type specification
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Title not available (Why is that?)
- The Category-Theoretic Solution of Recursive Domain Equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equational axioms for regular sets
- Title not available (Why is that?)
- Categorical fixed point calculus
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Complete systems of \(\mathcal B\)-rational identities
- A completeness theorem for Kleene algebras and the algebra of regular events
- A fixpoint theorem for complete categories
- Title not available (Why is that?)
- Fixed-point operations on ccc's. I
- Iteration 2-theories
- Solving reflexive domain equations in a category of complete metric spaces
- Least fixed point of a functor
- A Perspective View of Discrete Automata and Their Design
- Title not available (Why is that?)
- Towards a foundation for semantics in complete metric spaces
- Categorical fixed point semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic specification of data types: A synthetic approach
- SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
- A characterization of the least-fixed-point operator by dinaturality
- Vector Iteration in Pointed Iterative Theories
- Independence of the equational axioms for iteration theories
- Fixed-point constructions in order-enriched categories
- Title not available (Why is that?)
Cited In (22)
- Equational properties of fixed point operations in Cartesian categories: an overview
- Equational properties of stratified least fixed points (extended abstract)
- Iteration 2-theories
- A connection between concurrency and language theory
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- Title not available (Why is that?)
- Axiomatizing the equational theory of regular tree languages
- Axiomatizing iteration categories
- Dagger extension theorem
- Group axioms for iteration
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Title not available (Why is that?)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories
- Axiomatizing omega and omega-op powers of words
- μ-Bicomplete Categories and Parity Games
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Recursion and corecursion have the same equational logic
- Unique, guarded fixed points in an additive setting: extended abstract
- Title not available (Why is that?)
- On the equational definition of the least prefixed point.
- Title not available (Why is that?)
- Categorical rewriting of term-like structures
This page was built for publication: Equational properties of iteration in algebraically complete categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128480)
