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 …