Self-Dual Cone Systems and Tensor Products

We prove the existence of self-dual tensor products for finite-dimensional convex cones and operator systems. This is a consequence of a more general result: Every cone system, which is contained in its dual, can be enlarged to a self-dual cone system. Using the setup of cone systems, we further describe how all functorial tensor products of finite-dimensional cones and operator systems explicitly arise from the minimal and maximal tensor product.