Category of finite dimensional Hilbert spaces
 
x
OK