¿Hay alguna referencia sobre el producto tensor de categorías presentables (localmente)?
Todo lo que sé de esto es el libro de Lurie que se ocupa de la versión de <span class="math-container">%-%-%</span>-categórico, y algunas referencias que se ocupan de casos especiales (categorías acualianas Grothendieck, toposes, etc...)
¿Hay alguna referencia que lo defina correctamente y demuestre las propiedades básicas?
