Least fixed point of a functor

DOI10.1016/0022-0000(79)90026-6zbMath0423.18007OpenAlexW1992613713MaRDI QIDQ1134211

Jiří Adámek, Václav Koubek

Publication date: 1979

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(79)90026-6

zbMATH Keywords

initial algebrafixed point of a functorfixed-point property of categoriesfree-algebra constructionKnaster-Tarski formulapre-ordered class

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) Categories and theories (18C99)

Related Items (17)

μ-Bicomplete Categories and Parity Games ⋮ Equational properties of iteration in algebraically complete categories ⋮ The equational logic of fixed points ⋮ CHAD for expressive total languages ⋮ Unnamed Item ⋮ On systems of equations defining infinite graphs ⋮ Unnamed Item ⋮ Varietors and machines in a category ⋮ On the greatest fixed point of a set functor ⋮ Some economic applications of Scott domains ⋮ On the final sequence of a finitary set functor ⋮ Semantics of constructions. II: The initial algebraic approach ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors ⋮ Unnamed Item ⋮ Infinite hypergraphs. I: Basic properties ⋮ The monadic second-order logic of graphs. IV: Definability properties of equational graphs ⋮ Partially ordered objects in a topos

Cites Work

• Realization theory for automata in categories
• Categorical constructions of free algebras, colimits, and completions of partial algebras
• A fixpoint theorem for complete categories
• The Category-Theoretic Solution of Recursive Domain Equations
• Machines in a Category: An Expository Introduction
• 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: Least fixed point of a functor