A fixpoint theorem for complete categories
From MaRDI portal
Publication:2525178
Cites work
- scientific article; zbMATH DE number 3216275 (Why is no real title available?)
- scientific article; zbMATH DE number 3220362 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- A lattice-theoretical fixpoint theorem and its applications
Cited in
(86)- Terminal coalgebras and free iterative theories
- Iterating both and neither: with applications to the paradoxes
- On final coalgebras of power-set functors and saturated trees
- On functors preserving coproducts and algebras with iterativity
- Categorical fixed point calculus
- Three extensional models of type theory
- Coalgebraic semantics for nominal automata
- Recursive coalgebras of finitary functors
- Aspects of predicative algebraic set theory. I: Exact completion
- Shades of iteration: from Elgot to Kleene
- Inductive data types for predicate transformers
- Initial algebra semantics for lambda calculi
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- Topology-free type structures with conditioning events
- Well-founded coalgebras, revisited
- Linear-time logics -- a coalgebraic perspective
- Initial algebras unchained -- a novel initial algebra construction formalized in Agda
- Categories
- Infinite hypergraphs. I: Basic properties
- The category-theoretic solution of recursive program schemes
- Recursive program schemes and context-free monads
- Wellfounded trees in categories
- Pointwise extensions of GSOS-defined operations
- A synthetic theory of sequential domains
- Final Dialgebras: From Categories to Allegories
- Equational properties of iteration in algebraically complete categories
- Categorial generalization of algebraic recursion theory
- Distributivity of categories of coalgebras
- On the greatest fixed point of a set functor
- The equational logic of fixed points
- Infinite trees and completely iterative theories: A coalgebraic view
- Complete iterativity for algebras with effects
- The eventual image
- Fantastic morphisms and where to find them. A guide to recursion schemes
- Weak -categories via terminal coalgebras
- On iteratable endofunctors
- Completely iterative algebras and completely iterative monads
- Least fixed point of a functor
- The topology-free construction of the universal type structure for conditional probability systems
- Sets with structure, mappings and fixed point property: fixed point structures
- Algebraic dynamical systems in machine learning
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Rule formats for nominal process calculi
- μ-Bicomplete Categories and Parity Games
- Interleaving data and effects
- Initial algebras of terms with binding and algebraic structure
- Fractal sets as final coalgebras obtained by completing an initial algebra
- Coequational logic for accessible functors
- On second-order iterative monads
- Recursive coalgebras from comonads
- From grammars and automata to algebras and coalgebras
- Structural congruence for bialgebraic semantics
- On systems of equations defining infinite graphs
- (Co)algebraic characterizations of signal flow graphs
- On algebras with effectful iteration
- A categorical derivation of Lebesgue integration
- On rational monads and free iterative theories
- A new foundation for finitary corecursion. The locally finite fixpoint and its properties
- Unifying structured recursion schemes. An extended study
- Coalgebras in functional programming and type theory
- Monoidal streams for dataflow programming
- Least fixpoints of endofunctors of cartesian closed categories
- Categorical data types in parametric polymorphism
- Free -lattices
- A new foundation for finitary corecursion and iterative algebras
- Practical coinduction
- A description based on languages of the final non-deterministic automaton
- A general theory of self-similarity
- A coalgebraic view of infinite trees and iteration
- On the equational definition of the least prefixed point.
- scientific article; zbMATH DE number 7379288 (Why is no real title available?)
- Hausdorff coalgebras
- Universal type structures with unawareness
- Type Fusion
- Coinductive streams in monoidal categories
- Efficient lambda encodings for Mendler-style coinductive types in Cedille
- Monotone recursive types and recursive data representations in Cedille
- Aspects of categorical recursion theory
- Coalgebra and abstraction
- The bicategory-theoretic solution of recursive domain equations
- On products of transition systems
- Arrows of Times, Non Integer Operators, Self-Similar Structures, Zeta Functions and Riemann Hypothesis: a Synthetic Categorical Approach
- Elgot theories: a new perspective on the equational properties of iteration
- Tail recursion through universal invariants
This page was built for publication: A fixpoint theorem for complete categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2525178)
