THE TENSOR CATEGORY OF LINEAR MAPS AND LEIBNIZ ALGEBRAS