dedekind::category::is_self_inverse< F > Struct Template Reference

Hook: an arrow that is its own inverse ( \(f \circ f = \mathrm{id}\)). Declared here, with the inverse it licenses, ahead of IsIsomorphism, so that concept finds the inverse by ordinary lookup for an arrow in any namespace, not only through argument-dependent lookup. :involution sets it for every certified involution. More...

Inheritance diagram for dedekind::category::is_self_inverse< F >:

Collaboration diagram for dedekind::category::is_self_inverse< F >:

Detailed Description

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

Hook: an arrow that is its own inverse ( \(f \circ f = \mathrm{id}\)). Declared here, with the inverse it licenses, ahead of IsIsomorphism, so that concept finds the inverse by ordinary lookup for an arrow in any namespace, not only through argument-dependent lookup. :involution sets it for every certified involution.

Verification: The Unit Laws (f ∘ id = f =

id ∘ f)

---

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

• src/main/modules/dedekind/category/morphism.cppm