Fixed Points of Functors - A Short Abstract

DOI10.1007/978-3-319-40370-0_1zbMath1475.18002OpenAlexW2464863085MaRDI QIDQ5739445

Jiří Adámek

Publication date: 15 July 2016

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01446029/file/418352_1_En_1_Chapter.pdf

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cites Work

• Fixed points of set functors: how many iterations are needed?
• On the final sequence of a finitary set functor
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems
• Categorical set theory: A characterization of the category of sets
• Well-Pointed Coalgebras
• Initial algebras and terminal coalgebras in many-sorted sets
• Iterative algebras at work
• The Category-Theoretic Solution of Recursive Domain Equations
• Unnamed Item
• Unnamed Item

This page was built for publication: Fixed Points of Functors - A Short Abstract