dedekind/conceptdedekind_1_1category_1_1IsIsomorphism.html

template<typename F>

concept dedekind::category::IsIsomorphism =  IsArrow<F> && requires(F f) {


  { inverse(f) } -> IsArrow;


  requires std::same_as<

      typename std::remove_cvref_t<F>::Codomain,

      typename std::remove_cvref_t<decltype(inverse(f))>::Domain>;

  requires std::same_as<

      typename std::remove_cvref_t<F>::Domain,

      typename std::remove_cvref_t<decltype(inverse(f))>::Codomain>;

}

dedekind::category::IsArrow
A type that knows its own Domain (A) and Codomain (B), objects it maps between: called at the domain'...
Definition morphism.cppm:168

dedekind::category::IsIsomorphism
An Arrow f: A -> B with a guaranteed Inverse g: B -> A.
Definition morphism.cppm:1010

dedekind::algebra::inverse
constexpr 𝔽64 inverse(𝔽64 a, std::plus< 𝔽64 >) noexcept
The additive (group) inverse of 𝔽64, spelled as the computable inverse(a, std::plus) free function th...
Definition galois.cppm:281