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

- i -

id() : dedekind::category
idempotent_law() : dedekind::category
idempotent_leaf_v : dedekind::category
idempotent_leaf_v< Meet< A, B > > : 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_absorptive_v : dedekind::category
is_absorptive_v< T, std::bit_or< T >, std::bit_and< T > > : dedekind::category
is_absorptive_v< T, std::logical_or< T >, std::logical_and< T > > : dedekind::category
is_adjoint_v< Copy, Merge< P, Inf >, ProductLeq< std::less_equal, std::less_equal > > : dedekind::category
is_adjoint_v< dedekind::algebra::AdditiveInverse< dedekind::sets::SignedCardinality >, dedekind::algebra::AdditiveInverse< dedekind::sets::SignedCardinality >, std::less_equal<> > : dedekind::category
is_adjoint_v< Successor< SignedCardinality >, Predecessor< SignedCardinality >, std::less_equal<> > : dedekind::category
is_antimonotone_v< dedekind::algebra::Inverse< G, std::plus< G > >, Op > : dedekind::category
is_antitone() : dedekind::category
is_associative_v< bool, std::bit_xor< bool > > : dedekind::category
is_associative_v< ConstantMorphism< A, B >, Op > : dedekind::category
is_associative_v< Identity< T >, Op > : dedekind::category
is_associative_v< T, Op > : dedekind::category
is_associative_v< T, std::bit_xor< T > > : dedekind::category
is_associative_v< T, std::modulus< T > > : dedekind::category
is_associative_v< T, std::multiplies< T > > : dedekind::category
is_associative_v< T, std::plus<> > : dedekind::category
is_closed_under_v : dedekind::category
is_closure_forcing_v : dedekind::category
is_coisometry() : dedekind::category
is_commutative_v< T, std::plus<> > : dedekind::category
is_complement_pair_v : dedekind::category
is_complemented_lattice_for_v : dedekind::category
is_complemented_lattice_for_v< bool, canonical_order > : dedekind::category
is_complemented_v : dedekind::category
is_complemented_v< bool, std::logical_or< bool >, std::logical_and< bool >, std::logical_not< bool > > : dedekind::category
is_complemented_v< T, std::bit_or<>, std::bit_and<>, std::bit_not<> > : dedekind::category
is_congruence_v : dedekind::category
is_constant_arrow_v : dedekind::category
is_constant_arrow_v< ConstantMorphism< A, B > > : dedekind::category
is_cyclic_group_v : dedekind::category
is_de_morgan_negation_for_v : dedekind::category
is_de_morgan_negation_for_v< bool, canonical_order > : dedekind::category
is_decided() : dedekind::category
is_distributive_lattice_for_v : dedekind::category
is_distributive_lattice_for_v< T, dedekind::sets::subobject_order< L > > : dedekind::category
is_distributive_v : dedekind::category
is_distributive_v< bool, std::bit_and< bool >, std::bit_xor< bool > > : dedekind::category
is_distributive_v< dedekind::algebra::Tropical< T, M >, std::plus< dedekind::algebra::Tropical< T, M > >, dedekind::algebra::TropicalPlus > : dedekind::category
is_distributive_v< dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::MatTimes< S, N >, dedekind::linear_algebra::MatPlus< S, N > > : dedekind::category
is_distributive_v< dedekind::morphologies::Modular< N >, std::multiplies<>, std::plus<> > : dedekind::category
is_distributive_v< T, std::multiplies<>, std::plus<> > : dedekind::category
is_embedding_functor_v : dedekind::category
is_empty_set_v : dedekind::sets
is_epic_arrow_v : dedekind::category
is_epic_arrow_v< detail_limit::ProjectionAt< K, P > > : dedekind::category
is_eval_arrow_v : dedekind::category
is_even : dedekind::category
is_exact_category_v : dedekind::category
is_exact_category_v< CanonicalSetCCC< A > > : dedekind::category
is_factorisation_system_v : dedekind::category
is_factorisation_system_v< C > : dedekind::category
is_finite() : dedekind::sets
is_graded_v : dedekind::category
is_homomorphism_v : dedekind::category
is_idempotent_v : dedekind::category
is_idempotent_v< T, std::bit_or<> > : dedekind::category
is_idempotent_v< T, std::bit_xor< T > > : dedekind::category
is_identity() : dedekind::category
is_identity_functor_v : dedekind::category
is_identity_tag() : dedekind::category::detail_arrows
is_identity_v : dedekind::category
is_initial_f_algebra_v : dedekind::category
is_invertible_v : dedekind::category
is_invertible_v< bool, std::bit_and< bool > > : dedekind::category
is_invertible_v< bool, std::bit_xor< bool > > : dedekind::category
is_involution() : dedekind::category
is_isometry() : dedekind::category
is_join_containing_v : dedekind::category
is_join_node_v : dedekind::category
is_kleene_associative_v : dedekind::category
is_kleene_associative_v< dedekind::numbers::Rational, dedekind::numbers::PartialAddRational > : dedekind::category
is_kleene_associative_v< dedekind::numbers::Rational, dedekind::numbers::PartialEmbedIntegerToRational > : dedekind::category
is_kleene_commutative_v< dedekind::numbers::Complex< R >, dedekind::numbers::PartialAddComplex< R > > : dedekind::category
is_kleisli_arrow_v : dedekind::category
is_kleisli_deref_v : dedekind::category
is_lattice_node_v : dedekind::category
is_left_total_v : dedekind::category
is_left_unique_v : dedekind::category
is_linear_action_v : dedekind::category
is_maybe_v : dedekind::category::detail_comprehension
is_meet_containing_v : dedekind::category
is_meet_node_v : dedekind::category
is_monic_arrow_v : dedekind::category
is_monic_arrow_v< dedekind::numbers::EmbedRationalToReal > : dedekind::category
is_monic_arrow_v< detail_limit::ProjectionAt< K, P > > : dedekind::category
is_monic_arrow_v< std::decay_t< decltype(dedekind::numbers::embed_ℤ_ℚ_)> > : dedekind::category
is_monic_arrow_v< std::decay_t< decltype(dedekind::numbers::embed_𝕃_ℚ<>)> > : dedekind::category
is_monotone_v< ConstantMorphism< A, B >, Op > : dedekind::category
is_monotone_v< std::decay_t< decltype(dedekind::numbers::embed_ℤ_ℚ_)>, std::less_equal<> > : dedekind::category
is_monotone_v< Successor< N >, std::less_equal<> > : dedekind::category
is_not_node_v : dedekind::category
is_quotient_functor_v : dedekind::category
is_reflexive_v< dedekind::numbers::Cut< Q >, std::less_equal<> > : dedekind::category
is_reflexive_v< dedekind::numbers::QuadraticReal< D, Q >, std::less_equal<> > : dedekind::category
is_reflexive_v< dedekind::numbers::Rational, std::less_equal<> > : dedekind::category
is_reflexive_v< Percentage, std::less_equal<> > : dedekind::category
is_reflexive_v< T, std::less_equal<> > : dedekind::category
is_reflexive_v< typename dedekind::morphologies::Modular< N >::machine_type, dedekind::morphologies::ModularCongruence< N > > : dedekind::category
is_regular_category_v : dedekind::category
is_regular_category_v< C > : dedekind::category
is_regular_epi_v : dedekind::category
is_regular_mono_v : dedekind::category
is_right_total_v : dedekind::category
is_right_unique_v : dedekind::category
is_self_v : dedekind::sets
is_singular() : dedekind::optimization::detail
is_sort_of_v : dedekind::sets
is_symmetric_v : dedekind::category
is_terminal_f_coalgebra_v : dedekind::category
is_total_by_construction_v : dedekind::category
is_total_term_v : dedekind::sets
is_total_v : dedekind::category
is_transcendental_v : dedekind::numbers
is_transfinite_v : dedekind::category
is_unitary() : dedekind::category
iterate() : dedekind::category