dedekind::category::IsPreTransformation Concept Reference

The raw family of components. More...

Concept definition

template<typename Α, typename CatS, typename CatT>
concept dedekind::category::IsPreTransformation =  IsSmallCategory<CatS> && IsSmallCategory<CatT> &&
                              requires(Α α, typename CatS::Arrow::Domain c) {
                                
                                
                                { α(c) } -> std::same_as<typename CatT::Arrow>;
                              }

Detailed Description

The raw family of components.