A member of the apex: one value, read in each operand. Its components are the legs, Π<1, Member> and Π<2, Member> as arrows (:limit's projections), the co-restrictions A ∧ B ↪ A and A ∧ B ↪ B: inclusions, so monic, not epic. More...

Public Types
using	components_are_inclusions = void

Public Attributes
Domain	value

Friends
constexpr A::Member	component (const Member &m, At< 1 >)
constexpr B::Member	component (const Member &m, At< 2 >)

Detailed Description

template<typename Apex, typename A, typename B>
struct dedekind::category::PullbackApex< Apex, A, B >::Member

A member of the apex: one value, read in each operand. Its components are the legs, Π<1, Member> and Π<2, Member> as arrows (:limit's projections), the co-restrictions A ∧ B ↪ A and A ∧ B ↪ B: inclusions, so monic, not epic.

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

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

Public Types

Public Attributes

Friends

Detailed Description