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 the following : given spaces […]