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

- i -

• id() : dedekind::category
• idempotent_law() : dedekind::category
• ieee_bind() : dedekind::numbers
• ieee_map() : dedekind::numbers
• image() : dedekind::sets
• image_of() : dedekind::category
• in() : dedekind::category
• in_species() : dedekind::sets
• in_via() : dedekind::category
• inclusion_arrow() : dedekind::category, dedekind::sets
• infer() : dedekind::category
• into() : dedekind::sets
• inverse() : dedekind::category, dedekind::morphologies::first_iso_mod_2, dedekind::sets
• inverse_v() : dedekind::category
• is_antitone() : dedekind::category
• is_coisometry() : dedekind::category
• is_decided() : dedekind::category
• is_finite() : dedekind::sets
• is_identity() : dedekind::category
• is_identity_tag() : dedekind::category::detail_arrows
• is_involution() : dedekind::category
• is_isometry() : dedekind::category
• is_singular() : dedekind::optimization::detail
• is_unitary() : dedekind::category
• iterate() : dedekind::category