dedekind::category::ClassifierApex< S > Struct Template Reference

The subobject a predicate classifies, as the pullback of the truth \(\top : 1 \to \Omega\) along the predicate \(p : X \to \Omega\) (the subobject classifier's square): its members, the leg into X their inclusion, the leg to 1 the unique one. A view over the subobject, owning nothing. More...

Collaboration diagram for dedekind::category::ClassifierApex< S >:

Public Types
using	Domain = typename S::Domain
using	Codomain = typename S::Codomain
using	logic_species = typename S::logic_species
using	Member = typename S::Member

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

Public Attributes
S	subobject

Detailed Description

template<typename S>
requires IsSubobject<S, typename S::Domain>
struct dedekind::category::ClassifierApex< S >

The subobject a predicate classifies, as the pullback of the truth \(\top : 1 \to \Omega\) along the predicate \(p : X \to \Omega\) (the subobject classifier's square): its members, the leg into X their inclusion, the leg to 1 the unique one. A view over the subobject, owning nothing.

Template Parameters

S	the subobject.

---

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

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