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