Relative tensor products of 
-categories of local systems
The Lurie tensor product is part of a symmetric monoidal structure on the -category 
of presentable -categories.
It enjoys many good formal properties, and is often computable. An example of this computability is that if 
is a small -category and 
are presentable, then 
. A special case of this is …