dedekind::category::Delooping< T, Op > Member List

This is the complete list of members for dedekind::category::Delooping< T, Op >, including all inherited members.

Arrow typedef (defined in dedekind::category::Delooping< T, Op >)	dedekind::category::Delooping< T, Op >
Id typedef (defined in dedekind::category::Delooping< T, Op >)	dedekind::category::Delooping< T, Op >
id_c(One) (defined in dedekind::category::Delooping< T, Op >)	dedekind::category::Delooping< T, Op >	inlinestatic
Species typedef (defined in dedekind::category::Delooping< T, Op >)	dedekind::category::Delooping< T, Op >
unit_arrow() (defined in dedekind::category::Delooping< T, Op >)	dedekind::category::Delooping< T, Op >	inlinestatic