To keep this post as concise as humanly possible I will assume knowledge of (symmetric)monoidal categories, kan extensions and enriched categories.
To keep this post as concise as humanly possible I will assume knowledge of (symmetric)monoidal categories, kan extensions and enriched categories.