dedekind::category::IsProductCategory Concept Reference

A category whose Species is a categorical product (std::pair). More...

Concept definition

template<typename Cat>
concept dedekind::category::IsProductCategory =  IsSmallCategory<Cat> && requires {
  
  typename Cat::Species::first_type;
  typename Cat::Species::second_type;
 
  requires IsProduct<typename Cat::Species, typename Cat::Species::first_type,
                     typename Cat::Species::second_type>;
}

Detailed Description

A category whose Species is a categorical product (std::pair).