We compute Betti numbers for a Cohen–Macaulay tangent cone of a monomial curve in the affine $4$-space corresponding to a pseudo-symmetric numerical semigroup. As a byproduct, we also show that for these semigroups, being of homogeneous type and homogeneous are equivalent properties.

This work generalises the short resolution given by Pisón Casares [‘The short resolution of a lattice ideal’, Proc. Amer. Math. Soc.131(4) (2003), 1081–1091] to any affine semigroup. We give a characterisation of Apéry sets which provides a simple way to compute Apéry sets of affine semigroups and Frobenius numbers of numerical semigroups. We also exhibit a new characterisation of the Cohen–Macaulay property for simplicial affine semigroups.

We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies and the higher operations on the Yoneda algebra. We give a universal description of the Koszul dual algebra under a new algebraic structure. For that we introduce a general notion: Gröbner bases for algebras over non-symmetric operads.