: the structural shape of the parallel product ⊗ --- an arrow whose Domain AND Codomain are product objects (the arrow-half of the product bifunctor). Tensor<R,S> is the canonical MODEL; this concept is the matchable handle. Cartesian only: the non-cartesian monoidal ⊗ (LA outer product) needs the carrier generalized past IsProduct (#951); a type with >1 arrow reading needs the dom/cod contract (#952). More...

Concept definition

template<typename T>
concept dedekind::category::IsTensor =  IsArrow<T> && requires {
  typename Dom<T>::first_type;
  typename Dom<T>::second_type;
  typename Cod<T>::first_type;
  typename Cod<T>::second_type;
  requires IsProduct<Dom<T>, typename Dom<T>::first_type,
                     typename Dom<T>::second_type>;
  requires IsProduct<Cod<T>, typename Cod<T>::first_type,
                     typename Cod<T>::second_type>;
}

Detailed Description

: the structural shape of the parallel product ⊗ --- an arrow whose Domain AND Codomain are product objects (the arrow-half of the product bifunctor). Tensor<R,S> is the canonical MODEL; this concept is the matchable handle. Cartesian only: the non-cartesian monoidal ⊗ (LA outer product) needs the carrier generalized past IsProduct (#951); a type with >1 arrow reading needs the dom/cod contract (#952).