Typed unit/counit data for an adjunction witness. More...

Public Types
using	left_functor_type = Left
using	right_functor_type = Right
using	unit_type = Unit
using	counit_type = Counit

Public Attributes
Left	left {}
Right	right {}
Unit	unit {}
Counit	counit {}

Detailed Description

template<typename Left, typename Right, typename Unit, typename Counit>
requires IsAdjunction<Left, Right, Unit, Counit>
struct dedekind::category::adjunction_witness< Left, Right, Unit, Counit >

Typed unit/counit data for an adjunction witness.

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

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

Public Types

Public Attributes

Detailed Description