On the greatest fixed point of a set functor (Q672316): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4044767 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145864 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Least fixed point of a functor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996444 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3900995 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completions of Partially Ordered Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Terminal coalgebras in well-founded set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5620720 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical constructions of free algebras, colimits, and completions of partial algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A fixpoint theorem for complete categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3735051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731835 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Category-Theoretic Solution of Recursive Domain Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5574731 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4065693 / rank | |||
Normal rank |
Revision as of 11:16, 27 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the greatest fixed point of a set functor |
scientific article |
Statements
On the greatest fixed point of a set functor (English)
0 references
28 February 1997
0 references
greatest fixed point of set functor
0 references
terminal coalgebra
0 references
metric completion
0 references
CPO-completion
0 references
finite iterations
0 references
signature
0 references
0 references