# ct.category theory – Is there any reference to the tensor product of the presentable categories (1-)?

Is there any reference to the tensor product of presentable (locally) categories?

All I know about this is Lurie's book that deals with the $$infty$$– Categorical version, and some references that deal with special cases (Grothendeick categories, toposes, etc.)

Is there a reference that defines it correctly and that demonstrates the basic properties?