Coinductive reasoning for parametrized functors and monads G7R61RPWE2

URI	`m2://res/G7R61RPWE2`
Kind	preprint
Creators	Ugo Dal Lago, Zeinab Galal
Date	2026-09-28
Subjects	arxiv cs.LO, arxiv cs.PL, 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
2DJJGGM5GR	example	example 3.10	arxiv
4Z55NME3EG	definition	definition 4.5	arxiv
6QNSNF5H12	statement	theorem 4.4	arxiv
8S8B2YDEN7	statement	lemma A.1	arxiv
90GT7TR4Q7	statement	lemma 4.9	arxiv
95PYSBACRF	statement	lemma 4.8	arxiv
ACEB2N0DCV	statement	proposition 3.5	arxiv
CFGH6ZTNHF	statement	theorem 3.3	arxiv
CVWX0H9EH3	statement	proposition 4.3	arxiv
DY87Y3C691	definition	definition 1.1	arxiv
E9W4YATKXM	statement	lemma 4.11	arxiv
EPKVBQ7ZM9	statement	proposition 3.9	arxiv
H8CYNSV6QF	definition	definition 3.7	arxiv
HDQYH0R75Y	statement	lemma A.2	arxiv
J5G1J64SDE	definition	definition 2.1	arxiv
KR4J0R9FP1	statement	proposition 3.6	arxiv
M4W46ASX64	definition	definition 2.4	arxiv
MDPYZYHNAP	statement	theorem 4.2	arxiv
NSABXQFM3K	statement	lemma 4.7	arxiv
P78N1HG70C	example	example 2.5	arxiv
QQFPNBECG7	definition	definition 3.8	arxiv
QQMF4YCKWR	definition	definition 4.1	arxiv
R47GWD31QH	statement	theorem 3.2	arxiv
S9A7AN1R7R	statement	lemma 4.6	arxiv
TTWXD9F33H	definition	definition 3.1	arxiv
VAB14SFED1	statement	proposition 4.10	arxiv
WPTQ7WFD9Y	example	example 1.2	arxiv
X1T72VT2TX	statement	theorem 4.12	arxiv
X3NHP6CNPS	statement	lemma 3.4	arxiv
YQB0CA5Q91	definition	definition 2.2	arxiv
YZHQSYEY5N	example	example 2.3	arxiv