Constructing Initial Algebras Using Inflationary Iteration 2E47BDDDR4

URI	`m2://res/2E47BDDDR4`
Kind	preprint
Creators	Andrew M. Pitts, S. C. Steenkamp
Date	2021-05-07
MSC	03-XX, 18-XX
Subjects	arxiv math.LO, arxiv cs.LO, arxiv math.CT
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
322NV4P62D	statement	corollary 3.9	arxiv
32NM6HT7E4	statement	proposition 4.7	arxiv
5JVC61956H	definition	definition 4.1	arxiv
5JWJ8EKA7W	definition	definition 3.2	arxiv
71GZPGQH5A	statement	lemma 4.9	arxiv
8EVN5FYGN5	definition	definition 4.5	arxiv
\textbf{(Initial algebras via inflationary iteration	statement	theorem 3.8	arxiv
\wisc \textbf{(Colimits of sized functors	statement	theorem 4.10	arxiv
D096Y704NV	definition	definition 3.1	arxiv
EA57DTW02R	example	example 3.3	arxiv
GERVTNHN9H	statement	axiom 4.8	arxiv
K9NRQ8A200	statement	lemma 3.6	arxiv
KG5G8N1Y9R	definition	definition 3.5	arxiv
\textbf{(Sized endofunctors have initial algebras	statement	theorem 4.4	arxiv
NYVBAD8BC1	definition	definition 4.3	arxiv
RAKGQBMD8E	statement	lemma 4.12	arxiv
\classical (Ad\'amek	statement	theorem 1.1	arxiv
VM3226RCZ7	statement	corollary 4.11	arxiv
VTNNPGXYEX	statement	proposition 4.2	arxiv
\wisc \textbf{(Products of set-valued sized functors are sized	statement	theorem 4.13	arxiv
W342JVPQ3G	example	example 4.14	arxiv