Applied functorial semantics, II