Opt-in trait: textbook claim "for this @c F, @c im(F) is the carrier @c ::type". More...

Detailed Description

template<typename F>
struct dedekind::category::image_carrier< F >

Opt-in trait: textbook claim "for this @c F, @c im(F) is the carrier @c ::type".

Default is empty (no ::type member); specialise on a per-F basis to declare which carrier F's image inhabits. Used by WitnessesFirstIso to gate a candidate iso's Codomain. Sibling to the image_of(F) factory above (which produces a generic Subobject); image_carrier names the carrier-of-record for a specific F when the textbook fact is known (e.g. mod_n's image is the bounded interval [0, n)).

The documentation for this struct was generated from the following file:

src/main/modules/dedekind/category/image.cppm