dedekind::sets::InitialObjectArrow< Init, Target > Member List

This is the complete list of members for dedekind::sets::InitialObjectArrow< Init, Target >, including all inherited members.

Codomain typedef (defined in dedekind::sets::InitialObjectArrow< Init, Target >)	dedekind::sets::InitialObjectArrow< Init, Target >
Domain typedef (defined in dedekind::sets::InitialObjectArrow< Init, Target >)	dedekind::sets::InitialObjectArrow< Init, Target >
operator()(const Domain &m) const (defined in dedekind::sets::InitialObjectArrow< Init, Target >)	dedekind::sets::InitialObjectArrow< Init, Target >	inline