strict tensor category