Here is a list of all documented namespace typedefs with links to the namespaces they belong to:

- a -

• Alphabet : dedekind::category
• ArrowLaws : dedekind::category
• ascending : dedekind::category
• At : dedekind::category

- b -

• BitWord : dedekind::category

- c -

• CanonicalSetCCC : dedekind::category
• Cardinality : dedekind::sets
• chain_t : dedekind::category
• Cod : dedekind::category
• comprehension_logic_t : dedekind::sets
• Constant : dedekind::category

- d -

• default_cardinality_t : dedekind::sets
• default_integer : dedekind::numbers
• disc_self_endofunctor_t : dedekind::category
• disc_self_unit_t : dedekind::category
• discrete_lift_t : dedekind::category
• Dom : dedekind::category

- e -

• Exponential : dedekind::category

- f -

• FiniteChainSequence : dedekind::category
• Flip : dedekind::category
• free_algebra_base_t : dedekind::category

- g -

• graph_term_t : dedekind::sets

- l -

• leg_1_t : dedekind::sets
• LogicOf : dedekind::category
• LowerSet : dedekind::numbers

- m -

• Maybe : dedekind::category

- n -

• narrowest_count_word : dedekind::category
• Negate : dedekind::category

- o -

• Omega : dedekind::category
• OmegaOf : dedekind::category
• on_t : dedekind::category::detail_involution
• One : dedekind::category
• Opposite : dedekind::category

- p -

• PowerObject : dedekind::category
• PrincipalRay : dedekind::numbers
• product_algebra_base_t : dedekind::category
• ProductArrow : dedekind::category
• ProductMembership : dedekind::sets

- q -

• quotient_algebra_base_t : dedekind::category
• quotient_congruence_carrier_t : dedekind::category
• quotient_congruence_t : dedekind::category

- r -

• RationalPolynomial : dedekind::numbers
• reduce_t : dedekind::category
• resolved_order_t : dedekind::category

- s -

• SignedCardinality : dedekind::category, dedekind::sets
• Singleton : dedekind::sets
• subalgebra_base_t : dedekind::category
• subobject_reduce_t : dedekind::sets
• SumArrow : dedekind::category

- t -

• term_sorts_t : dedekind::sets
• TerminalCategory : dedekind::category

- u -

• u64 : dedekind::sets
• universe_t : dedekind::sets

- v -

• value_at_t : dedekind::sets

- w -

• Words : dedekind::category

- x -

• XOR : dedekind::category

- z -

• Zero : dedekind::category
• ZeroZ : dedekind::category

- ι -

• ι : dedekind::category
• Π : dedekind::category

- ℍ -

• ℍ_ℚ : dedekind::numbers
• ℵ_0 : dedekind::sets
• ℶ_1 : dedekind::sets