Premium
ERRATUM
Author(s) -
Laura A. van de Pol,
R. Jeroen Vermeulen,
Charlotte van,
t Westende,
Petra E. M. van Schie,
Eline A. M. Bolster,
PimW. J. R. van Ouwerkerk,
Rob L. Strijers,
Jules G. Becher,
Agnita Stadhouder,
Pim de Graaf,
Annemieke I. Buizer
Publication year - 2020
Publication title -
journal of inherited metabolic disease
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.462
H-Index - 102
eISSN - 1573-2665
pISSN - 0141-8955
DOI - 10.1002/jimd.12170
Subject(s) - medicine , muscular dystrophy , genetics , endocrinology , bioinformatics , biology
In Section 4 we defined two kinds of categorical models called λc2η-models and monadic λc2η-models, where the latter is stronger notion than the former; and in Theorem 4 we stated that the λc2η-calculs is sound and complete for the λc2η-models. It turns out that this does not hold, and instead we have to assume monadic λc2η-models rather than λc2η-models; this is necessary in the sense that the calculus is also complete for the monadic λc2η-models, as the term model becomes a monadic λc2η-model. Thus a correct theorem instead of Theorem 4 is: