Equational properties of iteration in algebraically complete categories
type: Item
instance of: scholarly article
title: Equational properties of iteration in algebraically complete categories
zbMATH Open document ID: 0903.18003
DOI: 10.1016/S0304-3975(97)00158-8
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 18B20
zbMATH DE Number: 1189815
zbMATH Keywords: fixed points
zbMATH Keywords: iteration theories
zbMATH Keywords: algebraically complete categories
author: Zoltán Ésik
author: Anna Labella
MaRDI profile type: Publication
cites work: Q4044767
cites work: Least fixed point of a functor
cites work: Q3996444
cites work: Solving reflexive domain equations in a category of complete metric spaces
cites work: Q4138875
cites work: Q3999603
cites work: Categorical fixed point calculus
cites work: Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
cites work: Vector Iteration in Pointed Iterative Theories
cites work: Equational logic of circular data type specification
cites work: Equational axioms for regular sets
cites work: SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
cites work: Fixed-point operations on ccc's. I
cites work: Iteration 2-theories
cites work: Q4304740
cites work: Q5639639
cites work: A Perspective View of Discrete Automata and Their Design
cites work: Q3919058
cites work: Independence of the equational axioms for iteration theories
cites work: Completeness of Park induction
cites work: Group axioms for iteration
cites work: Q3978971
cites work: Q3138538
cites work: Q4100671
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Complete systems of \(\mathcal B\)-rational identities
cites work: A fixpoint theorem for complete categories
cites work: Q4215784
cites work: Q3853827
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Algebraic specification of data types: A synthetic approach
cites work: Towards a foundation for semantics in complete metric spaces
cites work: Q3750114
cites work: Categorical fixed point semantics
cites work: Q3920613
cites work: A characterization of the least-fixed-point operator by dinaturality
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Fixed-point constructions in order-enriched categories
full work available at URL: s0304-3975(97)00158-8
OpenAlex ID: W2079697982
description: scientific article; zbMATH DE number 1189815