“…We work in the framework of Real 2‐representation theory, as developed by the second author [
44, 51], in which a
‐graded finite group
acts coherently on a
‐linear category
by functors
,
, which are linear and covariant if
and, depending on the setting, antilinear and covariant or linear and contravariant if
. In the context of matrix factorizations, a (possibly antilinear) action of
on
for which the potential satisfies condition () or () defines a Real 2‐representation on
; see Lemmas 3.2 and 5.6.…”