dedekind::category::Subobject< A, Chi >::Member Struct Reference

The Internal Member of the Subobject. Wraps a value from the ambient space that satisfies the classifier. More...

Collaboration diagram for dedekind::category::Subobject< A, Chi >::Member:

Public Attributes
A	value

Detailed Description

template<typename A, typename Chi>
struct dedekind::category::Subobject< A, Chi >::Member

The Internal Member of the Subobject. Wraps a value from the ambient space that satisfies the classifier.

---

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

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