Fixed-point constructions in order-enriched categories
type: Item
instance of: scholarly article
title: Fixed-point constructions in order-enriched categories
zbMATH Open document ID: 0401.18005
DOI: 10.1016/0304-3975(79)90053-7
author: Mitchell Wand
published in: Theoretical Computer Science
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 18D99
Mathematics Subject Classification ID: 18A35
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 06A99
zbMATH DE Number: 3621974
zbMATH Keywords: Fixed-Point Constructions
zbMATH Keywords: Order-Enriched Categories
zbMATH Keywords: Inverse Limit Construction
zbMATH Keywords: Endofunctor
zbMATH Keywords: Category of Continuous Lattices
zbMATH Keywords: Category Of Complete Partial Order
zbMATH Keywords: Category of Complete Directed Relations
describes a project that uses: ALGOL 68
MaRDI profile type: Publication
full work available at URL: 0304-3975(79)90053-7
OpenAlex ID: W2080801189
cites work: Equational languages
cites work: The minimalization of tree automata
cites work: Kan extensions in enriched category theory
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q5656910
cites work: Adjointness in Foundations
cites work: Q5639839
cites work: Fixpoint approach to the theory of computation
cites work: Categories of chain-complete posets
cites work: A Powerdomain Construction
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Pair grammars, graph languages and string-to-graph translations
cites work: Q4072829
cites work: Q5649639
cites work: Data Types as Lattices
cites work: Generalized sequential machine maps
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: Q4404457
description: scientific article; zbMATH DE number 3621974