Ah, right, in the presence of projective they’re fp and fg are equivalent. Thanks.

]]>I never directly use finitely presented, but only “finitely presented projective” in the form “retract of a finite free module,” which is of course equivalent to “finitely generated projective.”

]]>Right, it seems like the key property of here is that the monoidal unit is itself compact projective.

]]>