dedekind::category::PullbackApex< Apex, A, B > Struct Template Reference

The pullback apex of a meet of A and B: the apex itself, viewed with the subobject surface and the projection legs π_1 / π_2 (IsPullback). More...

Classes
struct	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. More...

Public Types
using	Domain = typename Apex::Domain
using	Codomain = typename Apex::Codomain
using	logic_species = typename Apex::logic_species

Public Member Functions
constexpr Domain	ι (const Member &m) const
constexpr A::Member	π_1 (const Member &m) const
constexpr B::Member	π_2 (const Member &m) const
constexpr auto	operator() (const Domain &x) const

Public Attributes
Apex	apex

Detailed Description

template<typename Apex, typename A, typename B>
requires IsSubobject<A, typename A::Domain> && IsSubobject<B, typename B::Domain>
struct dedekind::category::PullbackApex< Apex, A, B >

The pullback apex of a meet of A and B: the apex itself, viewed with the subobject surface and the projection legs π_1 / π_2 (IsPullback).

Template Parameters

Apex	the meet, as a node or reduced.
A
B	the operands.

---

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

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