Finite monoid catenary degree for conductor submonoids
Finite catenary-degree conjecture. If FredF_{\mathrm{red}}Fred​ is finitely generated, then