VCAT for a monoidal V category
, such as
Tensor products and duality Closed and bi-closed bimonoidal categories
Representable V functors Extraordinary V naturality and the V naturality of the canonical maps
The isomorphism
Indexing types; limits and colimits; Yoneda isomorphisms
Preservation of limits and colimits
The connection with classical conical limits when
The definition of Kan extensions: their expressibility by limits and colimits
more to come
As of this snapshot date, this entry was owned by bci1.