Opt-in trait: textbook claim "for this @c F, @c A/ker(F) is the carrier @c ::Class". More...

Detailed Description

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

Opt-in trait: textbook claim "for this @c F, @c A/ker(F) is the carrier @c ::Class".

Default is empty (no ::Class member); specialise on a per-F basis at the carrier-defining site to declare which carrier F's kernel-pair quotient inhabits. The mechanical type-check happens in WitnessesFirstIso below, which uses the ::Class typedef to gate a candidate iso's Domain.

Universal-algebra reference: Burris-Sankappanavar §II.6 (First Iso) / §II.5 (congruence / kernel as congruence).

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

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