A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | Z | Ø | ℵ | 𝔸 | 𝔽

A: Acting (dedekind::category); acting_monoid (dedekind::category); acting_monoid< std::plus< std::size_t > > (dedekind::category); ActingOn (dedekind::category); ActionFunctor (dedekind::category); AdaptiveErrorPolicy (dedekind::ieee); AddByte (dedekind::category::detail_automaton); AddPalindrome (dedekind::category::detail_automaton); adjunction_witness (dedekind::category); Advance (dedekind::category::detail_automaton); AgreesAt (dedekind::relational::detail_graph); AgreesFrom (dedekind::order::detail_cover_witness); AgreesOn (dedekind::order::detail_cover_witness); AgreesOnPrefix (dedekind::category::detail_automaton); AgreesOnRow (dedekind::relational::detail_graph); AgreesWithReverse (dedekind::category::detail_periodic); algebra_view (dedekind::algebra::_has_carrier_witness); all_in (dedekind::sets::detail_setexpr_witness); Along (dedekind::category::detail_runs); And (dedekind::order::detail_runs); CycleCount::AndStep (dedekind::category::detail_periodic); answer_logic (dedekind::sets); answer_logic< L, Answer > (dedekind::sets); antimonotone_trait (dedekind::category); antimonotone_trait< dedekind::sets::Complement< T, L >, std::less_equal<> > (dedekind::category); antitone_on_even_lengths (dedekind::category); antitone_on_even_lengths< Compose< Compose< Fam, JoinWith< P, S > >, Counting< J > > > (dedekind::category); AnyOperation (dedekind::category); AnyStep (dedekind::category::detail_periodic); Ap (dedekind::sets); AppendColumns (dedekind::relational::detail_rows); AppendLeaf (dedekind::relational::detail_rows); Approx (dedekind::ieee); archetype (dedekind::category); archetype< C > (dedekind::category); arrow_as_relation (dedekind::category); ArrowNodeAt (dedekind::category); Arrows (dedekind::category); Vec2V::ArrowView (dedekind::linear_algebra); ascends_by_position (dedekind::category::detail_comprehension); ascends_by_position< Where > (dedekind::category::detail_comprehension); AsConstant (dedekind::relational::detail_rows); AsInterval (dedekind::order::detail_interval); RunListSteps::AsStep (dedekind::order); At (dedekind::category::detail_arrows); AtDefault (dedekind::relational::detail_rows); AtLeast (dedekind::order::detail_runs); AtMost (dedekind::category); AtomAt (dedekind::algebra::detail_canonical); Automaton (dedekind::category); Automaton (jlt)

B: Before (dedekind::category::detail_comprehension); Below (dedekind::category); BetaReduction (dedekind::category); Bind (dedekind::sets); BindArgs (dedekind::sets); BindMiddle (dedekind::relational::detail_rows); BinOp (dedekind::sets); Bit2U64Action (dedekind::algebra); bit_subset_eq (dedekind::order); bit_word (dedekind::category::detail_periodic); bit_word< 16 > (dedekind::category::detail_periodic); bit_word< 32 > (dedekind::category::detail_periodic); bit_word< 64 > (dedekind::category::detail_periodic); bit_word< 8 > (dedekind::category::detail_periodic); BlockUpperTriangular (dedekind::linear_algebra); Boole (dedekind::category); BoolLineJoin (dedekind::algebra); BoolLineMeetAction (dedekind::algebra); Bound (dedekind::order); Bound (dedekind::sets); bound_of (dedekind::category::detail_comprehension); bound_of< Mapped< S, Coalg, F > > (dedekind::category::detail_comprehension); bound_of< Read< T, K > > (dedekind::category::detail_comprehension); bound_of< Taken< S, Coalg, K > > (dedekind::category::detail_comprehension); BoundedAddTransform (dedekind::category); BoundedDivTransform (dedekind::category); BoundedMulTransform (dedekind::category); BoundedSet (dedekind::sequences); Box (dedekind::category); box_legs (dedekind::category::detail_periodic); box_legs< Compose< Tensor< A, B >, Both > > (dedekind::category::detail_periodic); box_node (dedekind::category::detail_periodic); box_node< Compose< Tensor< A, B >, Both > > (dedekind::category::detail_periodic); Build (dedekind::category::detail_automaton); builds_lattice_nodes (dedekind::category); builds_lattice_nodes< Join< A, B > > (dedekind::category); builds_lattice_nodes< Meet< A, B > > (dedekind::category); builds_lattice_nodes< Not< A > > (dedekind::category); builds_lattice_nodes (dedekind::category); builds_lattice_nodes< Subobject< A, Chi > > (dedekind::category); BuildsNodes (dedekind::category::detail_lattice_nodes); ByMonomial (dedekind::algebra::detail_polynomial); ByteAt (dedekind::category::detail_periodic); ByteOf (dedekind::category::detail_periodic); Bytes (dedekind::category)

C: canonical_order (dedekind::category); CanonicalPairPredicate (dedekind::relational); CardinalityEffect (dedekind::sets); carrier_cardinality (dedekind::order); carrier_cardinality< T > (dedekind::order); carrier_of (dedekind::category); carrier_of< Join< A, B > > (dedekind::category); carrier_of< Meet< A, B > > (dedekind::category); carrier_of< Not< A > > (dedekind::category); carrier_of< X > (dedekind::category); carrier_regime (dedekind::sequences); carrier_regime< C, std::void_t< typename C::cardinality_type > > (dedekind::sequences); CauchyPath (dedekind::morphologies); CeilLog2 (dedekind::category); CellOfSort (dedekind::relational::detail_rows); Chain (dedekind::category); chain_view (dedekind::category); chain_view (dedekind::order); chain_view (dedekind::sequences); ChainStep (dedekind::category); ChainValues (dedekind::sets); ChainWalk (dedekind::category); Character (dedekind::numbers); CheckedFactor (dedekind::category::detail_periodic); CheckedLength (dedekind::category::detail_periodic); CheckedPlus (dedekind::category::detail_periodic); ExtensionalCardinal::CheckedResult (dedekind::sets); SignedExtensionalCardinal::CheckedResult (dedekind::sets); ChiTag (dedekind::sets); ClassifierApex (dedekind::category); ClassifierLogic (dedekind::category); ClassifierLogic< bool > (dedekind::category); ClassifierLogic< T > (dedekind::category); ClassifierLogic< Ternary > (dedekind::category); Closed (dedekind::order::detail_runs); Cmp (dedekind::sets); Code (dedekind::relational::detail_hyperdoctrine_witness); codomain_of (dedekind::category); codomain_of< Join< A, B > > (dedekind::category); codomain_of< Meet< A, B > > (dedekind::category); codomain_of< Not< A > > (dedekind::category); codomain_of< X > (dedekind::category); codomain_reduce (dedekind::sets); codomain_reduce< Ø< T, L > > (dedekind::sets); codomain_reduce< 𝔸< T, L, C > > (dedekind::sets); ColumnAt (dedekind::category::detail_automaton); ColumnOrientation (dedekind::linear_algebra); Columns (dedekind::category); CommutativeRingRegistration; Commutes (dedekind::category::detail_runs); commutes (dedekind::category); commutes< PowerMap< T >, Morphism< W, W, Reverse > > (dedekind::category); commutes< PowerMap< T >, Morphism< W, W, Rotation< N > > > (dedekind::category); Complement (dedekind::sets); Complex (dedekind::linear_algebra); Complex (dedekind::numbers); ComplexToMatrix2x2Hom (dedekind::linear_algebra::detail); component_orders (dedekind::category::detail_f_algebra); component_orders< ProductLeq< LA, LB > > (dedekind::category::detail_f_algebra); Compose (dedekind::category); compose (dedekind::category); compose (dedekind::category::operations); ComposedIsoImagePredicate (dedekind::sets); ComposedRetractImagePredicate (dedekind::sets); ComposePred (dedekind::category); ComposePred (dedekind::relational); ComposePrefixPred (dedekind::sequences); composite_functor (dedekind::category); Comprehension (dedekind::numbers); Comprehension (dedekind::relational); Comprehension (dedekind::sequences); Comprehension (dedekind::sets); CondSplit (dedekind::sets); CondT (dedekind::sets); Congruence (dedekind::morphologies); Congruent (dedekind::category); connector (dedekind::morphologies::first_iso_mod_2); connector_inv (dedekind::morphologies::first_iso_mod_2); Const (dedekind::sets); Path::const_iterator (dedekind::sequences); const_rule_six (dedekind::linear_algebra::detail_diag); const_rule_three (dedekind::linear_algebra::detail_diag); ConstantAs (dedekind::sets); ConstantMorphism (dedekind::category); construction_base (dedekind::category); construction_base< F > (dedekind::category); construction_base< Q > (dedekind::category); construction_base< S > (dedekind::category); Convolve (dedekind::category::detail_periodic); Copairing (dedekind::category); Copy (dedekind::category); Copy (dedekind::relational::detail_hyperdoctrine_witness); CoreflexivePred (dedekind::relational); CotangentBundlePoint (dedekind::geometry); counit_witness (dedekind::category); counit_witness< dedekind::linear_algebra::matrix2x2_functor< T >, T > (dedekind::category); counit_witness< dedekind::linear_algebra::vec2_functor< T >, T > (dedekind::category); counit_witness< path_functor< T >, T > (dedekind::category); counit_witness< tuple_functor< T >, T > (dedekind::category); CountablyInfiniteDim (dedekind::geometry); Counted (dedekind::category::detail_comprehension); Counting (dedekind::category); counting_action (dedekind::category); counting_action< T, Op > (dedekind::category); CountingStage (dedekind::category::detail_comprehension); CountOf (dedekind::category::detail_periodic); CountStep (dedekind::category::detail_periodic); covec2_functor (dedekind::linear_algebra); Covec2Map (dedekind::linear_algebra); Covec2V (dedekind::linear_algebra); CriticalPathState (dedekind::optimization); CriticalPathStep (dedekind::optimization); Curried (dedekind::category); Cursor (dedekind::category::detail_automaton); Curve (dedekind::sequences); Cut (dedekind::numbers); CycleCount (dedekind::category::detail_periodic); CycleFactor (dedekind::category::detail_periodic); Cycles (dedekind::category); cyclic_order (dedekind::category); cyclic_order< bool, std::bit_xor< bool > > (dedekind::category); cyclic_order< dedekind::algebra::𝔽64, std::multiplies< dedekind::algebra::𝔽64 > > (dedekind::category); cyclic_order< dedekind::morphologies::Modular< N >, std::plus< dedekind::morphologies::Modular< N > > > (dedekind::category); cyclic_order< dedekind::numbers::UnitRoot< N >, std::multiplies< dedekind::numbers::UnitRoot< N > > > (dedekind::category); cyclic_order< T, std::plus< T > > (dedekind::category); CyclicRing (dedekind::morphologies); CyclicRow (dedekind::category::detail_periodic); CyclicShift (dedekind::linear_algebra::detail_transfer); CyclicTerm (dedekind::category::detail_periodic); Cylinder (dedekind::category); CylinderFactorsAt (dedekind::category::detail_periodic)

D: DaggerFunctor (dedekind::category); datum_cardinality (dedekind::sets); datum_cardinality< Predicate, Base > (dedekind::sets); decided (dedekind::sets::detail); Decode (dedekind::category::detail_automaton); default_cardinality (dedekind::sets); default_cardinality< bool > (dedekind::sets); default_signatures (dedekind::algebra::detail_universal); default_signatures< Arrow > (dedekind::algebra::detail_universal); DefineColumn (dedekind::relational::detail_rows); Defined (dedekind::relational::detail_rows); Defining (dedekind::relational::detail_rows); Definition (dedekind::sets); Delete (dedekind::category); Delooping (dedekind::category); density_falls_on_even_lengths (dedekind::category); density_falls_on_even_lengths< Compose< Powers< C, F, N >, FixedBy< Power< C, F, N >, S, T > > > (dedekind::category); DeriveSites (dedekind::category::detail_automaton); DescendsAt (dedekind::sets); descent (dedekind::sets); descent< BinOp< std::minus<>, Projection, Const< K > > > (dedekind::sets); Diagonal (dedekind::linear_algebra); diagonal_product_rule (dedekind::linear_algebra); DiagPred (dedekind::category); DiagPred (dedekind::relational); Dial (dedekind::category::detail_mereology); DifferentiableMap (dedekind::geometry); Decode::Digit (dedekind::category::detail_automaton); Decode::Digits (dedekind::category::detail_automaton); dim_finite (dedekind::linear_algebra); DirectSum (dedekind::linear_algebra); DiscreteCategory (dedekind::category); DiscreteCos (dedekind::numbers); DiscreteSin (dedekind::numbers); DivergencePath (dedekind::numbers); domain_of (dedekind::category::detail_lattice_nodes); domain_of< Join< A, B > > (dedekind::category::detail_lattice_nodes); domain_of< Meet< A, B > > (dedekind::category::detail_lattice_nodes); domain_of< Not< A > > (dedekind::category::detail_lattice_nodes); DominanceRefinement (dedekind::sequences); Double (dedekind::category::detail_periodic); DrillDown (dedekind::category::detail); Dual (dedekind::analysis); Dual (dedekind::linear_algebra); Dual (dedekind::relational); dual_orientation (dedekind::linear_algebra); dual_orientation< ColumnOrientation > (dedekind::linear_algebra); dual_orientation< RowOrientation > (dedekind::linear_algebra); DualIsTheMask (dedekind::category::detail_periodic); DualToMatrix2x2Hom (dedekind::linear_algebra::detail)

E: Edge (dedekind::optimization); EdgeSucc (dedekind::linear_algebra::detail_transfer); Element (dedekind::category); element_of (dedekind::category::detail_comprehension); element_of< Maybe< T > > (dedekind::category::detail_comprehension); EmbedRationalToReal (dedekind::numbers); EmbedsAt (dedekind::sets); EmptyPredicate (dedekind::sets); Encoded (dedekind::relational::detail_rows); EncodeFactor (dedekind::relational::detail_rows); EndsInSite (dedekind::category::detail_automaton); EndsInSubset (dedekind::category::detail_automaton); Env (dedekind::sets); Equals (dedekind::category); EqualTo (dedekind::order::detail_runs); EuclideanDivision (dedekind::sets); exact_category_witness (dedekind::category::_factorisation_upgrade_witnesses); ExactCountOf (dedekind::category::detail_periodic); Extended (dedekind::category::detail_comprehension); Extending (dedekind::category::detail_kleisli); ExtensionalCardinal (dedekind::sets); ExtensionalSet (dedekind::sets)

F: f_algebra (dedekind::category); f_coalgebra (dedekind::category); Factor (dedekind::category); Factor (dedekind::relational); Factor (jlt); factor_word (dedekind::category::detail_periodic); factor_word< Factor< N > > (dedekind::category::detail_periodic); FallsAlong (dedekind::category::detail_periodic); FibonacciMod (dedekind::category); FibrePredicate (dedekind::relational); FieldDivision (dedekind::sets); FieldRegistration; Finite (dedekind::sets); FiniteDim (dedekind::geometry); FiniteNet (dedekind::optimization); FiniteNet (dedekind::sequences); FiniteSeq (dedekind::optimization); FiniteSeq (dedekind::sequences); Verdict::FiniteSort (dedekind::sets); FirstSet (dedekind::relational::detail_rows); FixByte (dedekind::category::detail_periodic); Fixed (dedekind::relational); FixedBy (dedekind::category); FixedByReflectedReverse (dedekind::category::detail_periodic); FixedByStage (dedekind::category::detail_periodic); FoldPieces (dedekind::order::detail_runs); Foreign (dedekind::sets::detail_terms_witness); free_algebra_base (dedekind::category); free_algebra_base< dedekind::algebra::Polynomial< R, M > > (dedekind::category); FreeMonoid (dedekind::category); FreeMonoid (jlt); EmbedsAt::From (dedekind::sets); Front (dedekind::order::detail_runs); FullMachineBoundaryPolicy (dedekind::category); FunctionalVector (dedekind::geometry); functor_of (dedekind::category); functor_of< Maybe< A > > (dedekind::category); functor_of< std::tuple< A > > (dedekind::category)

G: galois_order (dedekind::algebra); galois_order< bool, std::bit_xor< bool >, std::bit_and< bool > > (dedekind::algebra); galois_order< T, Add, Mult > (dedekind::algebra); GaloisFieldRegistration; GaussianKernel (dedekind::analysis); GetLogic (dedekind::category); GetLogic< std::optional< T > > (dedekind::category); GetLogic< T > (dedekind::category); GetLogic< Ternary > (dedekind::category); graph_atom (dedekind::sets); graph_atom< Cmp< Rel::Eq, Projection< 2 >, T > > (dedekind::sets); graph_atom< Cmp< Rel::Eq, T, Projection< 2 > > > (dedekind::sets); GraphArrow (dedekind::relational); GraphPredicate (dedekind::relational)

H: Halfspace2D (dedekind::optimization); Halfspace2DPredicate (dedekind::optimization); HalfspaceTriple (dedekind::optimization); Halved (dedekind::category::detail_kleisli); HarmonicOscillator (dedekind::analysis); has_one_value (dedekind::category); has_one_value< Compose< F, G > > (dedekind::category); has_one_value< composite_functor< F, G > > (dedekind::category); HeytingExponential (dedekind::category); HeytingExponential< T, dedekind::order::bit_subset_eq< T >, std::bit_and< T > > (dedekind::category); HeytingExponential< T, std::less_equal< T >, Inf > (dedekind::category); Symmetric::Holds (dedekind::category); homomorphism_of (dedekind::algebra::detail_universal); homomorphism_of< Arrow, Signature< Ss... >, Signature< Ts... > > (dedekind::algebra::detail_universal); HonestDivRational (dedekind::numbers); HonestDivTransform (dedekind::category); horizontal_composition (dedekind::category)

I: Identify (dedekind::relational::detail_rows); Identity (dedekind::category); identity_functor (dedekind::category); identity_monad_tag (dedekind::category); identity_rule (dedekind::linear_algebra); identity_transformation (dedekind::category); IdentityIn (dedekind::category); IdentitySteps (dedekind::order); IEEE (dedekind::ieee); IEEEAdd (dedekind::ieee); IEEEMul (dedekind::ieee); Iff (dedekind::order::detail_runs); IgnoreErrorPolicy (dedekind::ieee); Image (dedekind::relational); image_carrier (dedekind::category); image_carrier< dedekind::morphologies::first_iso_mod_2::mod_2_arrow > (dedekind::category); image_of (dedekind::category::detail_morphism); image_of< F, T > (dedekind::category::detail_morphism); ImageChi (dedekind::category); ImageChi< F > (dedekind::category); In (dedekind::category); Inc (dedekind::category::detail_arrows_witness); Inf (dedekind::category); infer_morphism (dedekind::category); InitialEnvelope (dedekind::category::detail); InitialObjectArrow (dedekind::sets); Inject (dedekind::relational::detail_hyperdoctrine_witness); Inject (dedekind::sets); Injection (dedekind::category); Injection (dedekind::relational::detail_hyperdoctrine_witness); Injections (dedekind::category); Injections (dedekind::sets::detail_sum_witness); insert_into (dedekind::sets::detail); InSlot (dedekind::order); IntByEquality (dedekind::category::detail_quotient); Intersect (dedekind::relational); Interval (dedekind::numbers); Interval (dedekind::order); IntervalBoundaryPolicy (dedekind::category); Inverse (dedekind::algebra); inverse_trait (dedekind::category); inverse_trait< dedekind::analysis::Dual< F >, std::plus< dedekind::analysis::Dual< F > > > (dedekind::category); inverse_trait< dedekind::linear_algebra::Covec2V< T >, std::plus< dedekind::linear_algebra::Covec2V< T > > > (dedekind::category); inverse_trait< dedekind::linear_algebra::Vec2V< T >, std::plus< dedekind::linear_algebra::Vec2V< T > > > (dedekind::category); inverse_trait< dedekind::numbers::Complex< R >, std::multiplies< dedekind::numbers::Complex< R > > > (dedekind::category); inverse_trait< dedekind::numbers::Complex< R >, std::plus< dedekind::numbers::Complex< R > > > (dedekind::category); inverse_trait< dedekind::numbers::QuadraticReal< D, Q >, std::plus< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); inverse_trait< dedekind::numbers::Rational, std::plus< dedekind::numbers::Rational > > (dedekind::category); inverse_trait< dedekind::numbers::UnitRoot< N >, std::multiplies< dedekind::numbers::UnitRoot< N > > > (dedekind::category); inverse_trait< SC, std::plus< SC > > (dedekind::category); inverse_trait< T, Op > (dedekind::category); inverse_trait< Z1, std::plus< Z1 > > (dedekind::category); Invertible2x2 (dedekind::linear_algebra); IotaBounds (dedekind::sequences::detail); IotaIntersection (dedekind::sequences); is_adjoint (dedekind::category); is_adjoint< dedekind::relational::Image< F, L >, dedekind::relational::Preimage< F, L >, std::less_equal<> > (dedekind::category); is_adjoint< dedekind::relational::Preimage< F, L >, dedekind::relational::Dual< F, L >, std::less_equal<> > (dedekind::category); is_adjoint< dedekind::sets::Complement< T, L >, dedekind::sets::Complement< T, L >, std::less_equal<> > (dedekind::category); is_adjoint< dedekind::sets::Inject< K, UA, UB >, dedekind::sets::Restrict< K, UA, UB >, std::less_equal<> > (dedekind::category); is_antisymmetric (dedekind::category); is_antisymmetric< T, dedekind::order::bit_subset_eq< T > > (dedekind::category); is_antisymmetric< T, Rel > (dedekind::category); is_antisymmetric< T, std::less_equal< T > > (dedekind::category); is_associative (dedekind::category); is_associative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEAdd< F > > (dedekind::category); is_associative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEMul< F > > (dedekind::category); is_associative< dedekind::linear_algebra::Matrix2x2V< T >, std::multiplies< dedekind::linear_algebra::Matrix2x2V< T > > > (dedekind::category); is_associative< dedekind::linear_algebra::Matrix2x2V< T >, std::plus< dedekind::linear_algebra::Matrix2x2V< T > > > (dedekind::category); is_associative< dedekind::morphologies::Modular< N >, std::multiplies< dedekind::morphologies::Modular< N > > > (dedekind::category); is_associative< dedekind::morphologies::Modular< N >, std::plus< dedekind::morphologies::Modular< N > > > (dedekind::category); is_associative< dedekind::numbers::Complex< R >, std::plus< dedekind::numbers::Complex< R > > > (dedekind::category); is_associative< dedekind::numbers::QuadraticReal< D, Q >, std::multiplies< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); is_associative< dedekind::numbers::QuadraticReal< D, Q >, std::plus< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); is_associative< dedekind::numbers::UnitRoot< N >, std::multiplies< dedekind::numbers::UnitRoot< N > > > (dedekind::category); is_associative< Sections< T, Op >, compose > (dedekind::category); is_associative< T, detail_involution::Reversed< Op > > (dedekind::category); is_associative< T, Op > (dedekind::category); is_associative< T, std::bit_or< T > > (dedekind::category); is_codirected (dedekind::category); is_codirected< T, dedekind::order::bit_subset_eq< T > > (dedekind::category); is_codirected< T, Rel > (dedekind::category); is_codirected< T, std::less_equal< T > > (dedekind::category); is_cokleisli_triple (dedekind::category); is_cokleisli_triple< dedekind::sequences::path_functor< T > > (dedekind::category); is_cokleisli_triple< tuple_functor< T > > (dedekind::category); is_commutative (dedekind::category); is_commutative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEAdd< F > > (dedekind::category); is_commutative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEMul< F > > (dedekind::category); is_commutative< dedekind::linear_algebra::Matrix2x2V< T >, std::plus< dedekind::linear_algebra::Matrix2x2V< T > > > (dedekind::category); is_commutative< dedekind::morphologies::Modular< N >, std::multiplies< dedekind::morphologies::Modular< N > > > (dedekind::category); is_commutative< dedekind::morphologies::Modular< N >, std::plus< dedekind::morphologies::Modular< N > > > (dedekind::category); is_commutative< dedekind::numbers::Complex< R >, std::plus< dedekind::numbers::Complex< R > > > (dedekind::category); is_commutative< dedekind::numbers::QuadraticReal< D, Q >, std::multiplies< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); is_commutative< dedekind::numbers::QuadraticReal< D, Q >, std::plus< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); is_commutative< dedekind::numbers::UnitRoot< N >, std::multiplies< dedekind::numbers::UnitRoot< N > > > (dedekind::category); is_commutative< T, detail_involution::Reversed< Op > > (dedekind::category); is_commutative< T, Op > (dedekind::category); is_commutative< T, std::bit_and< T > > (dedekind::category); is_commutative< T, std::bit_or< T > > (dedekind::category); is_comonadic (dedekind::category); is_complement (dedekind::category); is_complement< std::bit_not< T >, T, dedekind::order::bit_subset_eq< T >, std::bit_or< T >, std::bit_and< T > > (dedekind::category); is_complement< std::logical_not< bool >, bool, std::less_equal< bool >, Sup, Inf > (dedekind::category); is_connex (dedekind::category); is_connex< T, Rel > (dedekind::category); is_connex< T, std::less_equal< T > > (dedekind::category); is_cyclic_group (dedekind::category); is_cyclic_group< bool, std::bit_xor< bool > > (dedekind::category); is_cyclic_group< dedekind::algebra::𝔽64, std::multiplies< dedekind::algebra::𝔽64 > > (dedekind::category); is_cyclic_group< dedekind::morphologies::Modular< N >, std::plus< dedekind::morphologies::Modular< N > > > (dedekind::category); is_cyclic_group< dedekind::numbers::UnitRoot< N >, std::multiplies< dedekind::numbers::UnitRoot< N > > > (dedekind::category); is_cyclic_group< dedekind::sets::ExtensionalCardinal< W >, std::plus< dedekind::sets::ExtensionalCardinal< W > > > (dedekind::category); is_cyclic_group< dedekind::sets::SignedExtensionalCardinal< S >, std::plus< dedekind::sets::SignedExtensionalCardinal< S > > > (dedekind::category); is_cyclic_group< T, std::plus< T > > (dedekind::category); is_directed (dedekind::category); is_directed< T, dedekind::order::bit_subset_eq< T > > (dedekind::category); is_directed< T, Rel > (dedekind::category); is_directed< T, std::less_equal< T > > (dedekind::category); is_equality (dedekind::category); is_equality< A, Endo< A, L, C, DiagPred< A > > > (dedekind::category); is_equality< A, Endo< A, L, C, PairwisePred< Op > > > (dedekind::category); is_equality< detail_mereology::Dial< 3 >, std::equal_to< detail_mereology::Dial< 3 > > > (dedekind::category); is_equality< int, detail_equality::SameInt > (dedekind::category); is_equality< std::pair< A, B >, std::equal_to< std::pair< A, B > > > (dedekind::category); is_equality< std::pair< A, B >, std::equal_to<> > (dedekind::category); is_equality< T, Rel > (dedekind::category); is_equality< T, std::equal_to< T > > (dedekind::category); is_equality< T, std::equal_to<> > (dedekind::category); is_exact_total (dedekind::category); is_exact_total< dedekind::algebra::Monomial< N >, std::multiplies< dedekind::algebra::Monomial< N > > > (dedekind::category); is_exact_total< dedekind::analysis::Dual< F >, std::multiplies< dedekind::analysis::Dual< F > > > (dedekind::category); is_exact_total< dedekind::analysis::Dual< F >, std::plus< dedekind::analysis::Dual< F > > > (dedekind::category); is_exact_total< dedekind::numbers::Complex< R >, std::multiplies< dedekind::numbers::Complex< R > > > (dedekind::category); is_exact_total< dedekind::numbers::Complex< R >, std::plus< dedekind::numbers::Complex< R > > > (dedekind::category); is_exact_total< dedekind::numbers::QuadraticReal< D, Q >, std::multiplies< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); is_exact_total< dedekind::numbers::QuadraticReal< D, Q >, std::plus< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); is_exact_total< dedekind::numbers::Rational, std::multiplies< dedekind::numbers::Rational > > (dedekind::category); is_exact_total< dedekind::numbers::Rational, std::plus< dedekind::numbers::Rational > > (dedekind::category); is_exact_total< dedekind::numbers::UnitRoot< N >, std::multiplies< dedekind::numbers::UnitRoot< N > > > (dedekind::category); is_extensional (dedekind::sets); is_extensional< 𝔸< T, L, C > > (dedekind::sets); is_extensional< T > (dedekind::sets); is_frobenius_monad (dedekind::category); is_frobenius_monad< tuple_functor< T > > (dedekind::category); is_functorial (dedekind::category); is_functorial< ActionFunctor< H, V, S > > (dedekind::category); is_functorial< composite_functor< F, G > > (dedekind::category); is_functorial< DaggerFunctor< Dagger, T, Op > > (dedekind::category); is_functorial< dedekind::linear_algebra::covec2_functor< T > > (dedekind::category); is_functorial< dedekind::linear_algebra::matrix2x2_functor< T > > (dedekind::category); is_functorial< dedekind::linear_algebra::vec2_functor< T > > (dedekind::category); is_functorial< identity_functor< Cat > > (dedekind::category); is_functorial< LeftActionFunctor< M, S, AddM, AddS, MultS, Act > > (dedekind::category); is_functorial< maybe_functor< T > > (dedekind::category); is_functorial< PowerFunctor > (dedekind::category); is_functorial< tuple_functor< T > > (dedekind::category); is_galois_field (dedekind::algebra); is_galois_field< bool, std::bit_xor< bool >, std::bit_and< bool > > (dedekind::algebra); is_galois_field< T, Add, Mult > (dedekind::algebra); is_homomorphism (dedekind::category); is_homomorphism< dedekind::linear_algebra::detail::ComplexToMatrix2x2Hom, dedekind::numbers::Complex< dedekind::linear_algebra::detail::Rat >, std::multiplies< dedekind::numbers::Complex< dedekind::linear_algebra::detail::Rat > >, std::multiplies< dedekind::linear_algebra::Matrix2x2V< dedekind::linear_algebra::detail::Rat > > > (dedekind::category); is_homomorphism< dedekind::linear_algebra::detail::ComplexToMatrix2x2Hom, dedekind::numbers::Complex< dedekind::linear_algebra::detail::Rat >, std::plus< dedekind::numbers::Complex< dedekind::linear_algebra::detail::Rat > >, std::plus< dedekind::linear_algebra::Matrix2x2V< dedekind::linear_algebra::detail::Rat > > > (dedekind::category); is_homomorphism< dedekind::linear_algebra::detail::DualToMatrix2x2Hom, dedekind::analysis::Dual< dedekind::linear_algebra::detail::Rat >, std::multiplies< dedekind::analysis::Dual< dedekind::linear_algebra::detail::Rat > >, std::multiplies< dedekind::linear_algebra::Matrix2x2V< dedekind::linear_algebra::detail::Rat > > > (dedekind::category); is_homomorphism< dedekind::linear_algebra::detail::DualToMatrix2x2Hom, dedekind::analysis::Dual< dedekind::linear_algebra::detail::Rat >, std::plus< dedekind::analysis::Dual< dedekind::linear_algebra::detail::Rat > >, std::plus< dedekind::linear_algebra::Matrix2x2V< dedekind::linear_algebra::detail::Rat > > > (dedekind::category); is_homomorphism< dedekind::linear_algebra::TransposeF< S, N >, dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::MatTimes< S, N >, Opposite< dedekind::linear_algebra::MatTimes< S, N > > > (dedekind::category); is_homomorphism< dedekind::numbers::EmbedRationalToReal, dedekind::numbers::Rational, std::multiplies< dedekind::numbers::Rational >, std::multiplies< dedekind::numbers::QuadraticReal< 2, dedekind::numbers::Rational > > > (dedekind::category); is_homomorphism< dedekind::numbers::EmbedRationalToReal, dedekind::numbers::Rational, std::plus< dedekind::numbers::Rational >, std::plus< dedekind::numbers::QuadraticReal< 2, dedekind::numbers::Rational > > > (dedekind::category); is_homomorphism< F, T, Op, detail_involution::Reversed< Op2 > > (dedekind::category); is_homomorphism< Morphism< A, B, Impl >, A, Op, detail_involution::Reversed< Op2 > > (dedekind::category); is_homomorphism< Morphism< A, B, Impl >, A, Op, Op2 > (dedekind::category); is_homomorphism< std::decay_t< decltype(dedekind::analysis::embed_ℝ_𝔻)>, dedekind::numbers::QuadraticReal< 2 >, std::multiplies< dedekind::numbers::QuadraticReal< 2 > >, std::multiplies< dedekind::analysis::Dual< dedekind::numbers::QuadraticReal< 2 > > > > (dedekind::category); is_homomorphism< std::decay_t< decltype(dedekind::analysis::embed_ℝ_𝔻)>, dedekind::numbers::QuadraticReal< 2 >, std::plus< dedekind::numbers::QuadraticReal< 2 > >, std::plus< dedekind::analysis::Dual< dedekind::numbers::QuadraticReal< 2 > > > > (dedekind::category); is_homomorphism< std::decay_t< decltype(dedekind::numbers::embed_ℝ_ℂ)>, dedekind::numbers::QuadraticReal< 2 >, std::multiplies< dedekind::numbers::QuadraticReal< 2 > >, std::multiplies< dedekind::numbers::Complex< dedekind::numbers::QuadraticReal< 2 > > > > (dedekind::category); is_homomorphism< std::decay_t< decltype(dedekind::numbers::embed_ℝ_ℂ)>, dedekind::numbers::QuadraticReal< 2 >, std::plus< dedekind::numbers::QuadraticReal< 2 > >, std::plus< dedekind::numbers::Complex< dedekind::numbers::QuadraticReal< 2 > > > > (dedekind::category); is_homomorphism< std::decay_t< decltype(dedekind::numbers::embed_ℤ_ℚ_)>, dedekind::numbers::default_integer, std::multiplies< dedekind::numbers::default_integer >, std::multiplies< dedekind::numbers::Rational< dedekind::numbers::default_integer > > > (dedekind::category); is_homomorphism< std::decay_t< decltype(dedekind::numbers::embed_ℤ_ℚ_)>, dedekind::numbers::default_integer, std::plus< dedekind::numbers::default_integer >, std::plus< dedekind::numbers::Rational< dedekind::numbers::default_integer > > > (dedekind::category); is_idempotent (dedekind::category); is_idempotent< bool, std::logical_and< bool > > (dedekind::category); is_idempotent< bool, std::logical_or< bool > > (dedekind::category); is_idempotent< T, detail_involution::Reversed< Op > > (dedekind::category); is_idempotent< T, Op > (dedekind::category); is_idempotent< T, std::bit_and< T > > (dedekind::category); is_idempotent< T, std::bit_or< T > > (dedekind::category); is_integer_chain (dedekind::category); is_integer_chain< dedekind::sets::Cardinality > (dedekind::category); is_integer_chain< dedekind::sets::ExtensionalCardinal< W > > (dedekind::category); is_integer_chain< dedekind::sets::SignedCardinality > (dedekind::category); is_integer_chain< dedekind::sets::SignedExtensionalCardinal< S > > (dedekind::category); is_involutive (dedekind::category); is_involutive< Compose< F, G >, T > (dedekind::category); is_involutive< Compose< NegationArrow< Chain< N > >, Shift< N > >, N > (dedekind::category); is_involutive< dedekind::linear_algebra::TransposeF< S, N >, dedekind::linear_algebra::MatNxNV< S, N > > (dedekind::category); is_involutive< F, T > (dedekind::category); is_involutive< Flip< A, A >, std::pair< A, A > > (dedekind::category); is_involutive< Identity< T >, T > (dedekind::category); is_involutive< logic_complement< Boole >, bool > (dedekind::category); is_involutive< logic_complement< Chain< T > >, T > (dedekind::category); is_involutive< logic_complement< Kleene >, Ternary > (dedekind::category); is_involutive< logic_complement< Percent >, Percentage > (dedekind::category); is_involutive< Morphism< A, A, Impl >, A > (dedekind::category); is_involutive< NegationArrow< L >, typename L::Ω > (dedekind::category); is_involutive< PowerMap< T >, std::vector< C > > (dedekind::category); is_involutive< Reflection, std::byte > (dedekind::category); is_involutive< Reverse, std::strong_ordering > (dedekind::category); is_involutive< Reverse, W > (dedekind::category); is_involutive< std::bit_not< T >, T > (dedekind::category); is_involutive< std::logical_not< bool >, bool > (dedekind::category); is_involutive< std::negate< T >, T > (dedekind::category); is_kleisli_triple (dedekind::category); is_kleisli_triple< dedekind::sequences::path_functor< T > > (dedekind::category); is_kleisli_triple< maybe_functor< T > > (dedekind::category); is_kleisli_triple< tuple_functor< T > > (dedekind::category); is_lattice_bottom_for (dedekind::category); is_lattice_bottom_for< dedekind::sets::Ø< T, L >, dedekind::sets::subobject_order< L > > (dedekind::category); is_lattice_bottom_for< LatticeBottom< T, Rel >, Ord > (dedekind::category); is_lattice_top_for (dedekind::category); is_lattice_top_for< dedekind::sets::𝔸< T, L, C >, dedekind::sets::subobject_order< L > > (dedekind::category); is_lattice_top_for< LatticeTop< T, Rel >, Ord > (dedekind::category); is_linear_action (dedekind::category); is_linear_action< dedekind::algebra::𝔽64, bool, std::plus< dedekind::algebra::𝔽64 >, std::bit_xor< bool >, std::bit_and< bool >, std::multiplies<> > (dedekind::category); is_linear_action< dedekind::analysis::Dual< F >, F, std::plus< dedekind::analysis::Dual< F > >, std::plus< F >, std::multiplies< F >, std::multiplies<> > (dedekind::category); is_linear_action< dedekind::linear_algebra::SemimoduleVec< S, N, O >, S, std::plus< dedekind::linear_algebra::SemimoduleVec< S, N, O > >, typename dedekind::algebra::semiring_ops< S >::add, typename dedekind::algebra::semiring_ops< S >::mult, std::multiplies<> > (dedekind::category); is_linear_action< dedekind::numbers::Complex< R >, R, std::plus< dedekind::numbers::Complex< R > >, std::plus< R >, std::multiplies< R >, std::multiplies<> > (dedekind::category); is_linear_action< dedekind::numbers::Rational, I, std::plus< dedekind::numbers::Rational >, std::plus, std::multiplies, std::multiplies<> > (dedekind::category); is_linear_action< Q, product_algebra_base_t< Q >, std::plus< Q >, std::plus< product_algebra_base_t< Q > >, std::multiplies< product_algebra_base_t< Q > >, std::multiplies<> > (dedekind::category); is_linear_action< S, S, Add, Add, Mult, Mult > (dedekind::category); is_linear_action< S, S, Add, Add, std::multiplies< S >, std::multiplies<> > (dedekind::category); is_linear_action< std::uint64_t, bool, std::bit_xor< std::uint64_t >, std::bit_xor< bool >, std::bit_and< bool >, dedekind::algebra::Bit2U64Action > (dedekind::category); is_monadic (dedekind::category); is_periodic (dedekind::category); is_periodic< C1, std::multiplies< C1 > > (dedekind::category); is_periodic< C1, std::plus< C1 > > (dedekind::category); is_periodic< dedekind::algebra::Polynomial< R, M >, std::multiplies< dedekind::algebra::Polynomial< R, M > > > (dedekind::category); is_periodic< dedekind::algebra::Polynomial< R, M >, std::plus< dedekind::algebra::Polynomial< R, M > > > (dedekind::category); is_periodic< dedekind::morphologies::Modular< N >, std::minus< dedekind::morphologies::Modular< N > > > (dedekind::category); is_periodic< dedekind::morphologies::Modular< N >, std::multiplies< dedekind::morphologies::Modular< N > > > (dedekind::category); is_periodic< dedekind::morphologies::Modular< N >, std::plus< dedekind::morphologies::Modular< N > > > (dedekind::category); is_periodic< Sections< T, Op >, compose > (dedekind::category); is_periodic< T, Op > (dedekind::category); is_periodic< T, std::bit_xor< T > > (dedekind::category); is_periodic< T, std::minus< T > > (dedekind::category); is_periodic< T, std::multiplies< T > > (dedekind::category); is_periodic< T, std::plus< T > > (dedekind::category); is_periodic< Z1, std::multiplies< Z1 > > (dedekind::category); is_periodic< Z1, std::plus< Z1 > > (dedekind::category); is_rational (dedekind::numbers::detail_rational); is_rational< Rational< Z > > (dedekind::numbers::detail_rational); is_reflexive (dedekind::category); is_reflexive< T, dedekind::order::bit_subset_eq< T > > (dedekind::category); is_reflexive< T, Rel > (dedekind::category); is_reflexive< T, std::less_equal< T > > (dedekind::category); is_saturating (dedekind::category); is_saturating< Card, std::multiplies< Card > > (dedekind::category); is_saturating< Card, std::plus< Card > > (dedekind::category); is_saturating< dedekind::algebra::Tropical< T, M >, std::plus< dedekind::algebra::Tropical< T, M > > > (dedekind::category); is_saturating< dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::MatPlus< S, N > > (dedekind::category); is_saturating< dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::MatTimes< S, N > > (dedekind::category); is_saturating< dedekind::linear_algebra::SemimoduleVec< S, N, O >, std::plus< dedekind::linear_algebra::SemimoduleVec< S, N, O > > > (dedekind::category); is_saturating< SC, std::minus< SC > > (dedekind::category); is_saturating< SC, std::multiplies< SC > > (dedekind::category); is_saturating< SC, std::plus< SC > > (dedekind::category); is_scaling_invariant_ordered (dedekind::algebra); is_scaling_invariant_ordered< dedekind::numbers::QuadraticReal< D, Q > > (dedekind::algebra); is_scaling_invariant_ordered< dedekind::numbers::Rational > (dedekind::algebra); is_self_inverse (dedekind::category); is_self_inverse< F > (dedekind::category); is_set_object (dedekind::sets); is_symmetric (dedekind::category); is_symmetric< T, Rel > (dedekind::category); is_total (dedekind::category); is_total< T, detail_involution::Reversed< Op > > (dedekind::category); is_total< T, Op > (dedekind::category); is_total_by_construction (dedekind::category); is_total_by_construction< D, std::multiplies< D > > (dedekind::category); is_total_by_construction< D, std::plus< D > > (dedekind::category); is_total_by_construction< dedekind::linear_algebra::Matrix2x2V< T >, std::multiplies< dedekind::linear_algebra::Matrix2x2V< T > > > (dedekind::category); is_total_by_construction< dedekind::linear_algebra::Matrix2x2V< T >, std::plus< dedekind::linear_algebra::Matrix2x2V< T > > > (dedekind::category); is_total_by_construction< Sections< T, Op >, compose > (dedekind::category); is_transfinite (dedekind::category); is_transfinite< dedekind::sets::𝔸< T, L, C > > (dedekind::category); is_transitive (dedekind::category); is_transitive< T, dedekind::order::bit_subset_eq< T > > (dedekind::category); is_transitive< T, Rel > (dedekind::category); is_transitive< T, std::less_equal< T > > (dedekind::category); is_translation_invariant_ordered (dedekind::algebra); is_translation_invariant_ordered< dedekind::numbers::QuadraticReal< D, Q > > (dedekind::algebra); is_translation_invariant_ordered< dedekind::numbers::Rational > (dedekind::algebra); is_translation_invariant_ordered< dedekind::sets::SignedCardinality > (dedekind::algebra); IsEmptyFactor (dedekind::category::detail_periodic); IsLetterAt (dedekind::category::detail_periodic); IsMiddle (dedekind::sequences::detail_relprod); IsoRetract (dedekind::category); IsSquare (dedekind::category); IsZero (dedekind::category::detail_chain_arrows); Iterate (dedekind::category::detail_periodic); unfold_view::iterator (dedekind::category); MergeView::iterator (dedekind::order); PiecesView::iterator (dedekind::order); Iverson (dedekind::category::detail_periodic)

J: Join (dedekind::category); Join< A, B > (dedekind::category); join_logic (dedekind::category); join_logic< L1, L2 > (dedekind::category); JoinWith (dedekind::category); JoinWithStage (dedekind::category::detail_comprehension)

K: Keep (dedekind::relational::detail_rows); KeepBest (dedekind::category::detail_comprehension); KeepInSlice (dedekind::category::detail_periodic); KeepsWhatItClassifies (dedekind::category::detail_comprehension); Kept (dedekind::relational::detail_rows); KeptAfter (dedekind::category::detail_periodic); kernel_quotient (dedekind::category); kernel_quotient< dedekind::morphologies::first_iso_mod_2::mod_2_arrow > (dedekind::category); KernelAt (dedekind::category::detail_comprehension); Kleene (dedekind::category); kleisli_probe_arrow (dedekind::category)

L: lasso_presentation (dedekind::sequences); LastOf (dedekind::category); LastValue (dedekind::order::detail_runs); lattice_less_logic (dedekind::category); lattice_less_logic< Less > (dedekind::category); LatticeBottom (dedekind::category); LatticeBottom< T, dedekind::order::bit_subset_eq< T > > (dedekind::category); LatticeBottom< T, std::less_equal< T > > (dedekind::category); LatticeFactory (dedekind::geometry); LatticeFactory (dedekind::numbers); LatticeFactory< ℝ_d, 1 > (dedekind::numbers); LatticeFactory< ℝ_d, N > (dedekind::numbers); LatticeFactory< 𝔸 > (dedekind::geometry); LatticeFactory< NaturalLatticeSet > (dedekind::geometry); LatticeTop (dedekind::category); LatticeTop< T, dedekind::order::bit_subset_eq< T > > (dedekind::category); LatticeTop< T, std::less_equal< T > > (dedekind::category); law_inactive (dedekind::category); LawAlgebra (dedekind::category); LawSet (dedekind::relational); LawsOnSeed (dedekind::category::detail_automaton); LeftActing (dedekind::category); LeftActingOn (dedekind::category); LeftActionFunctor (dedekind::category); Length (dedekind::category); length_coherent (dedekind::category); length_coherent< Reverse > (dedekind::category); LengthOf (dedekind::category::detail_comprehension); Letter (dedekind::category::detail_automaton); LetterMap (dedekind::category); LetterMap (jlt); LetterMaps (dedekind::category); LetterMapsOnWords (dedekind::category); Letters (dedekind::category); Letters (jlt); Lifted (dedekind::category); LiftInto (dedekind::order::detail_runs); LiftLogic (dedekind::category); linear_rule_int (dedekind::linear_algebra::detail_diag); LinearFunctional (dedekind::optimization); LinearMap (dedekind::geometry); logic_complement (dedekind::category); LogicTraits (dedekind::category); LogicTraits< T > (dedekind::category); LowerCut (dedekind::numbers); LPSolutionPredicate (dedekind::optimization)

M: MakeJoin (dedekind::category); MakeMeet (dedekind::category); MapByte (dedekind::category::detail_periodic); Mapped (dedekind::category); MapSteps (dedekind::order::detail_runs); MapValue (dedekind::order::detail_runs); Matches (dedekind::category); MatchStep (dedekind::category::detail_automaton); MatNxNV (dedekind::linear_algebra); MatPlus (dedekind::linear_algebra); Matrix2x2 (dedekind::linear_algebra); matrix2x2_functor (dedekind::linear_algebra); Matrix2x2Map (dedekind::linear_algebra); Matrix2x2V (dedekind::linear_algebra); MatTimes (dedekind::linear_algebra); maybe_functor (dedekind::category); maybe_monad_tag (dedekind::category); MaybeMap (dedekind::category); Meet (dedekind::category); Meet< A, B > (dedekind::category); meet_logic (dedekind::category); meet_logic< L1, L2 > (dedekind::category); SetOverNonRegular::Member (dedekind::category::detail_etcs_total_witness); PullbackApex::Member (dedekind::category); PushoutApex::Member (dedekind::category); RunList::Member (dedekind::category); Subobject::Member (dedekind::category); 𝔸::Member (dedekind::numbers); 𝔸::Member (dedekind::relational); RelExpr::Member (dedekind::relational); Ø::Member (dedekind::sequences); 𝔸::Member (dedekind::sequences); Ø::Member (dedekind::sets); 𝔸::Member (dedekind::sets); SetExpr::Member (dedekind::sets); MentionsSelf (dedekind::sets); merc_filtered (dedekind::category::detail); merc_shell (dedekind::category::detail); Merge (dedekind::category); MergeBadOp (dedekind::category); MergeSteps (dedekind::order); MergeView (dedekind::order); MirrorDigit (dedekind::category::detail_automaton); mod_2_arrow (dedekind::morphologies::first_iso_mod_2); Modular (dedekind::morphologies); ModularCongruence (dedekind::morphologies); Monomial (dedekind::algebra); monotone_trait (dedekind::category); monotone_trait< dedekind::relational::Dual< F, L >, std::less_equal<> > (dedekind::category); monotone_trait< dedekind::relational::Image< F, L >, std::less_equal<> > (dedekind::category); monotone_trait< dedekind::relational::Preimage< F, L >, std::less_equal<> > (dedekind::category); monotone_trait< dedekind::sets::Inject< K, UA, UB >, std::less_equal<> > (dedekind::category); monotone_trait< dedekind::sets::Restrict< K, UA, UB >, std::less_equal<> > (dedekind::category); MorphicBridge (dedekind::category); MorphicBridge< R(C::*)(A) const > (dedekind::category); MorphicBridge< R(C::*)(A)> (dedekind::category); MorphicBridge< std::function< R(A)> > (dedekind::category); MorphicBridge< T > (dedekind::category); Morphism (dedekind::category); Morphisms (dedekind::category)

N: NaNHolePolicy (dedekind::category); NaZ (dedekind::sets); NegationArrow (dedekind::category); NegativeInfinity (dedekind::sets); NextByte (dedekind::category::detail_automaton); no_canonical_order (dedekind::category); no_leaf_combine (dedekind::category); NoConstants (dedekind::sets); NodeAt (dedekind::relational); NonRegular (dedekind::category::detail_etcs_total_witness); Not (dedekind::category); Not< A > (dedekind::category); not_admitted (dedekind::sets); NotAfterAll (dedekind::order::detail_runs); NotPast (dedekind::order::detail_runs); NumericWitness (dedekind::category)

O: Object (dedekind::relational); Offsets (dedekind::category); OfKind (dedekind::order::detail_connective); On (dedekind::sets); One (dedekind::category::detail_comprehension); one_hot (dedekind::linear_algebra); OneDimensionalVector (dedekind::algebra); OneForm (dedekind::analysis); OnWords (dedekind::category); Opaque (dedekind::category); Opaque (dedekind::order::detail_steps); opposite (dedekind::category::detail_involution); opposite< Reversed< Op > > (dedekind::category::detail_involution); Or (dedekind::order::detail_runs); OrbitSequence (dedekind::sequences); OrderBy (dedekind::category); origin_trait (dedekind::category); origin_trait< T > (dedekind::category); Outer (dedekind::category); OuterProduct (dedekind::linear_algebra); over_nodes (dedekind::category); over_nodes< Leaf, Join< A, B > > (dedekind::category); over_nodes< Leaf, Meet< A, B > > (dedekind::category); over_nodes< Leaf, Not< A > > (dedekind::category)

P: Pack (dedekind::category); Pairing (dedekind::category); PairwisePred (dedekind::category); PairwisePred (dedekind::relational); Partial (dedekind::category); PartialAddComplex (dedekind::numbers); PartialAddRational (dedekind::numbers); PartialEmbedIntegerToRational (dedekind::numbers); PartialMulComplex (dedekind::numbers); PartialMulRational (dedekind::numbers); Path (dedekind::sequences); path_functor (dedekind::category); Pending (dedekind::category::detail_comprehension); Percent (dedekind::category); Percentage (dedekind::category); Piece (dedekind::order); PiecesView (dedekind::order); PinConstant (dedekind::sets); Pisano (dedekind::category::detail_periodic); PlusLogPower (dedekind::category::detail_periodic); Point (dedekind::sets); point_sorts (dedekind::sets); point_sorts< Row< Cs... > > (dedekind::sets); point_sorts< std::pair< A, B > > (dedekind::sets); PointwiseSum (dedekind::linear_algebra); Poly (dedekind::algebra); Polynomial (dedekind::algebra); Polytope2D (dedekind::optimization); Polytope2DPredicate (dedekind::optimization); Position (dedekind::order); PositiveInfinity (dedekind::sets); Pow2 (dedekind::category); Power (dedekind::category); Power (jlt); PowerFunctor (dedekind::category); PowerMap (dedekind::category); PowerMap (jlt); Powers (dedekind::category); Pred (dedekind::sets); Predecessor (dedekind::category); predicate_logic (dedekind::category); predicate_logic< Compose< F, G > > (dedekind::category); predicate_logic (dedekind::category); Prefix (dedekind::category); Prefixed (dedekind::category); Preimage (dedekind::relational); PreimagePredicate (dedekind::relational); preserves (dedekind::algebra::detail_universal); Prior (dedekind::category); product_algebra_base (dedekind::category); product_algebra_base< dedekind::linear_algebra::Covec2V< T > > (dedekind::category); product_algebra_base< dedekind::linear_algebra::Vec2V< T > > (dedekind::category); product_cardinality (dedekind::sets); product_cardinality< ℵ< M >, ℵ< N > > (dedekind::sets); product_cardinality< ℵ< N >, Finite > (dedekind::sets); product_cardinality< Finite, ℵ< N > > (dedekind::sets); product_cardinality< Finite, Finite > (dedekind::sets); ProductLeq (dedekind::category); ProductRestrict (dedekind::order); Profile (dedekind::category); Progression (dedekind::category::detail_comprehension); Project (dedekind::relational::detail_rows); Projected (dedekind::relational::detail_rows); Projection (dedekind::category); Projection (dedekind::sets); Projection< 0 > (dedekind::category); projection_arrow (dedekind::category::detail_limit); projection_arrow< 0, P > (dedekind::category::detail_limit); ProjectionAt (dedekind::category::detail_limit); PullbackApex (dedekind::category); PullsBack (dedekind::category::detail_runs); PushoutApex (dedekind::category)

Q: QuadDiagRule (dedekind::linear_algebra::detail_transfer); QuadraticReal (dedekind::numbers); Quaternion (dedekind::numbers); quotient_algebra_base (dedekind::category); quotient_algebra_base< dedekind::analysis::Dual< F > > (dedekind::category); quotient_algebra_base< dedekind::numbers::Complex< R > > (dedekind::category); quotient_congruence (dedekind::category); quotient_congruence< dedekind::morphologies::Modular< N > > (dedekind::category); quotient_congruence< detail_quotient::IntByEquality > (dedekind::category)

R: RandomLaws (dedekind::category::detail_automaton); RandomLetter (dedekind::category); Ranges (dedekind::relational::detail_rows); Ranked (dedekind::category); Rational (dedekind::numbers); ReachPath (dedekind::numbers); Read (dedekind::category::detail_comprehension); ReadAs (dedekind::sets); ReadBack (dedekind::category::detail_automaton); Rec (dedekind::sets); Reduce (dedekind::category); Reflected (dedekind::linear_algebra); ReflectedAt (dedekind::category::detail_periodic); ReflectedReverse (dedekind::category); ReflectedReverse (jlt); Reflection (dedekind::category); Reflection (jlt); rel_key (dedekind::sets); rel_key< Rel::Eq > (dedekind::sets); rel_key< Rel::Ge > (dedekind::sets); rel_key< Rel::Gt > (dedekind::sets); rel_key< Rel::Le > (dedekind::sets); rel_key< Rel::Lt > (dedekind::sets); rel_key< Rel::Ne > (dedekind::sets); RelabelSteps (dedekind::order); RelAnd (dedekind::category); RelAnd (dedekind::relational); RelAnd (dedekind::sets); Relax (dedekind::optimization); RelExpr (dedekind::relational); RelOr (dedekind::category); RelOr (dedekind::relational); RelOr (dedekind::sets); ReportErrorPolicy (dedekind::ieee); ReproducingKernel (dedekind::analysis); Residual (dedekind::category::detail_automaton); Residue (dedekind::category::detail_periodic); ResidueClass (dedekind::sets); Restrict (dedekind::relational::detail_hyperdoctrine_witness); Restrict (dedekind::sets); ReturnsAfter (dedekind::category::detail_periodic); ReturnsTwice (dedekind::category::detail_periodic); ReversalAgrees (dedekind::category::detail_periodic); Reverse (dedekind::category); Reverse (jlt); Reversed (dedekind::category::detail_involution); Rfl (dedekind::order::detail_runs); RigRegistration; RingRegistration; Rolling (dedekind::category); RotateByLetter (dedekind::category::detail_periodic); Rotation (dedekind::category); Rotation (jlt); Row (dedekind::sets); RowOrientation (dedekind::linear_algebra); Rule (dedekind::category); rule_one_two (dedekind::linear_algebra::detail_diag); Run (dedekind::order); Run (dedekind::sequences::detail_pst_witness); RunCombine (dedekind::category); RunList (dedekind::category); RunListSteps (dedekind::order); Runs (dedekind::order)

S: safe_float (dedekind::morphologies); SafeAddTransform (dedekind::category); same_domain (dedekind::category::detail_lattice_nodes); SameInt (dedekind::category::detail_equality); SameValue (dedekind::order::detail_runs); Scaled (dedekind::linear_algebra); ScanSteps (dedekind::sequences); Verdict::Search (dedekind::sets); Section (dedekind::category); Sections (dedekind::category); Self (dedekind::sets); Semidecided (dedekind::category); SemimoduleVec (dedekind::linear_algebra); semiring_ops (dedekind::algebra); semiring_ops< bool > (dedekind::algebra); semiring_ops< dedekind::linear_algebra::MatNxNV< S, N > > (dedekind::algebra); semiring_ops< Tropical< T, M > > (dedekind::algebra); SequenceGraph (dedekind::sequences); Set (dedekind::category); set_predicate (dedekind::sets); set_predicate< Comprehension< 𝔸< T, L, C >, P > > (dedekind::sets); SetBit (dedekind::category::detail_periodic); SetByte (dedekind::category::detail_periodic); SetCombine (dedekind::sets); SetExpr (dedekind::sets); SetId (dedekind::category); SetLetter (dedekind::category::detail_automaton); SetObjectLeaf (dedekind::sets); SetOverNonRegular (dedekind::category::detail_etcs_total_witness); Seven (dedekind::relational::detail_hyperdoctrine_witness); Shift (dedekind::category); ShiftDown (dedekind::sets); Signature (dedekind::algebra); signature_extractor (dedekind::category); SignedExtensionalCardinal (dedekind::sets); Singleton2DPredicate (dedekind::optimization); Slice (dedekind::category); SliceStep (dedekind::category::detail_chain); Slots (dedekind::sets); SortsSoFar (dedekind::relational::detail_rows); SourceRef (dedekind::order); Span (dedekind::order); SpanSteps (dedekind::order); species_embed (dedekind::category); species_embed< Boole, To > (dedekind::category); species_embed< Kleene, Percent > (dedekind::category); species_embed< L, L > (dedekind::category); SpeciesTraits (dedekind::category); SpeciesTraits< dedekind::algebra::𝔽64 > (dedekind::category); SpeciesTraits< dedekind::algebra::Monomial< N > > (dedekind::category); SpeciesTraits< dedekind::algebra::OneDimensionalVector< S, Tag > > (dedekind::category); SpeciesTraits< dedekind::ieee::IEEE< F > > (dedekind::category); SpeciesTraits< dedekind::morphologies::Modular< N > > (dedekind::category); SpeciesTraits< dedekind::numbers::Complex< R > > (dedekind::category); SpeciesTraits< dedekind::numbers::Cut< Q > > (dedekind::category); SpeciesTraits< dedekind::numbers::QuadraticReal< D, Q > > (dedekind::category); SpeciesTraits< dedekind::numbers::Rational< Z > > (dedekind::category); SpeciesTraits< dedekind::sets::Cardinality > (dedekind::category); SpeciesTraits< dedekind::sets::SignedCardinality > (dedekind::category); SpeciesTraits< dedekind::sets::SignedExtensionalCardinal< S > > (dedekind::category); SpeciesTraits< F, A > (dedekind::category); SpeciesTraits< std::bit_and< T > > (dedekind::category); SpeciesTraits< std::bit_or< T > > (dedekind::category); SpeciesTraits< std::divides< T > > (dedekind::category); SpeciesTraits< std::equal_to< bool > > (dedekind::category); SpeciesTraits< std::less< T > > (dedekind::category); SpeciesTraits< std::less_equal< T > > (dedekind::category); SpeciesTraits< std::logical_and< bool > > (dedekind::category); SpeciesTraits< std::logical_or< bool > > (dedekind::category); SpeciesTraits< std::minus< T > > (dedekind::category); SpeciesTraits< std::multiplies< T > > (dedekind::category); SpeciesTraits< std::pair< A, B > > (dedekind::category); SpeciesTraits< std::plus< T > > (dedekind::category); SpeciesTraits< std::tuple< Ts... > > (dedekind::category); SpeciesTraits< T > (dedekind::category); SpeciesTraits< Truth< L > > (dedekind::category); SplitMix (dedekind::category); Along::State (dedekind::category::detail_runs); Sweep::State (dedekind::category::detail_runs); FoldPieces::State (dedekind::order::detail_runs); StaticRankNullity (dedekind::linear_algebra); Step (dedekind::order); StepAt (dedekind::category::detail_kleisli); StepCoalgebra (dedekind::category); StepFrom (dedekind::category::detail_comprehension); Steps (dedekind::order::detail_steps); StepToward (dedekind::order::detail_cover_witness); StringArrow (dedekind::category); StringCategory (dedekind::category); StructurallyBefore (dedekind::order::detail_connective); StructurallySame (dedekind::order::detail_connective); Sub (dedekind::order); subalgebra_base (dedekind::category); Subobject (dedekind::category); subobject_order (dedekind::sets); SubobjectClassifier (dedekind::category); SubobjectInclusion (dedekind::category); Subobjects (dedekind::sets); SubrangeAt (dedekind::category::detail_comprehension); SubsetOf (dedekind::order); Term::SubstOne (dedekind::sets); Successor (dedekind::category); Successor (dedekind::morphologies::singleton_image_breadcrumb); SuccessorOrbit (dedekind::sequences); sum_universe (dedekind::sets); sum_universe< 𝔸< X, LA, CA >, 𝔸< Y, LB, CB > > (dedekind::sets); SumMembership (dedekind::sets); Sup (dedekind::category); SwapPred (dedekind::category); SwapPred (dedekind::relational); Sweep (dedekind::category::detail_runs); SymbolicImagePredicate (dedekind::sets); Symmetric (dedekind::category)

T: TailEquivalent (dedekind::sequences); Take (dedekind::category); Taken (dedekind::category::detail_comprehension); Tally (dedekind::category::detail_comprehension); TangentBundlePoint (dedekind::geometry); Tensor (dedekind::category); Term (dedekind::sets); TerminalEnvelope (dedekind::category::detail); TernaryResult (dedekind::category); TimesPower (dedekind::category::detail_periodic); ToByte (dedekind::category::detail_periodic); ToItself (dedekind::order::detail_runs); ToMembership (dedekind::sequences::detail_pst); topo_bad_sieve_codomain_mismatch (dedekind::category::detail); topo_bundle_witness (dedekind::category::detail); topo_demo_arrow (dedekind::category::detail); topo_demo_bool_arrow (dedekind::category::detail); topo_demo_sieve (dedekind::category::detail); topo_demo_topology (dedekind::category::detail); topo_projection_arrow (dedekind::category::detail); ToStep (dedekind::order::detail_runs); Total (dedekind::sets); toy_countable_family (dedekind::sequences::detail); toy_partial_realize (dedekind::category::_kleisli_arrow_witness_380); ToyEmbed (dedekind::category::image_decidability_witness); ToyGeneral (dedekind::category::image_decidability_witness); ToyRetract (dedekind::category::image_decidability_witness); Translated (dedekind::category::detail_runs); TransposeF (dedekind::linear_algebra); Tropical (dedekind::algebra); TropicalPlus (dedekind::algebra); Truth (dedekind::category); tuple_functor (dedekind::category); tuple_monad_tag (dedekind::category); TupleMap (dedekind::category); TwoForm (dedekind::analysis)

U: Uncurried (dedekind::category); Unfold (dedekind::category); unfold_view (dedekind::category); unit_period (dedekind::category); unit_period< Compose< F, G > > (dedekind::category); unit_period< ConstantMorphism< N, B > > (dedekind::category); unit_period< detail_periodic::CylinderFactorsAt< P, S, N > > (dedekind::category); unit_registry (dedekind::category); unit_registry< bool, Op > (dedekind::category); unit_registry< ConstantMorphism< A, B >, Op > (dedekind::category); unit_registry< T, Op > (dedekind::category); unit_registry< T, std::multiplies< T > > (dedekind::category); unit_registry< T, std::plus< T > > (dedekind::category); unit_trait (dedekind::category); unit_trait< bool, Inf > (dedekind::category); unit_trait< bool, std::bit_and< bool > > (dedekind::category); unit_trait< bool, std::bit_xor< bool > > (dedekind::category); unit_trait< bool, Sup > (dedekind::category); unit_trait< C, Inf > (dedekind::category); unit_trait< C, Sup > (dedekind::category); unit_trait< C1, std::multiplies< C1 > > (dedekind::category); unit_trait< C1, std::plus< C1 > > (dedekind::category); unit_trait< Card, std::multiplies< Card > > (dedekind::category); unit_trait< Card, std::plus< Card > > (dedekind::category); unit_trait< dedekind::algebra::Monomial< N >, std::multiplies< dedekind::algebra::Monomial< N > > > (dedekind::category); unit_trait< dedekind::algebra::Polynomial< R, M >, std::multiplies< dedekind::algebra::Polynomial< R, M > > > (dedekind::category); unit_trait< dedekind::algebra::Polynomial< R, M >, std::plus< dedekind::algebra::Polynomial< R, M > > > (dedekind::category); unit_trait< dedekind::algebra::Tropical< T, M >, dedekind::algebra::TropicalPlus, void > (dedekind::category); unit_trait< dedekind::algebra::Tropical< T, M >, std::plus< dedekind::algebra::Tropical< T, M > >, void > (dedekind::category); unit_trait< dedekind::analysis::Dual< F >, std::multiplies< dedekind::analysis::Dual< F > > > (dedekind::category); unit_trait< dedekind::analysis::Dual< F >, std::plus< dedekind::analysis::Dual< F > > > (dedekind::category); unit_trait< dedekind::linear_algebra::Covec2V< T >, std::plus< dedekind::linear_algebra::Covec2V< T > > > (dedekind::category); unit_trait< dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::MatPlus< S, N > > (dedekind::category); unit_trait< dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::MatTimes< S, N > > (dedekind::category); unit_trait< dedekind::linear_algebra::Matrix2x2V< T >, std::multiplies< dedekind::linear_algebra::Matrix2x2V< T > > > (dedekind::category); unit_trait< dedekind::linear_algebra::Matrix2x2V< T >, std::plus< dedekind::linear_algebra::Matrix2x2V< T > > > (dedekind::category); unit_trait< dedekind::linear_algebra::SemimoduleVec< S, N, O >, std::plus< dedekind::linear_algebra::SemimoduleVec< S, N, O > > > (dedekind::category); unit_trait< dedekind::linear_algebra::Vec2V< T >, std::plus< dedekind::linear_algebra::Vec2V< T > > > (dedekind::category); unit_trait< dedekind::morphologies::Modular< N >, std::multiplies< dedekind::morphologies::Modular< N > > > (dedekind::category); unit_trait< dedekind::morphologies::Modular< N >, std::plus< dedekind::morphologies::Modular< N > > > (dedekind::category); unit_trait< dedekind::numbers::Complex< R >, std::multiplies< dedekind::numbers::Complex< R > > > (dedekind::category); unit_trait< dedekind::numbers::Complex< R >, std::plus< dedekind::numbers::Complex< R > > > (dedekind::category); unit_trait< dedekind::numbers::QuadraticReal< D, Q >, std::multiplies< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); unit_trait< dedekind::numbers::QuadraticReal< D, Q >, std::plus< dedekind::numbers::QuadraticReal< D, Q > > > (dedekind::category); unit_trait< dedekind::numbers::Rational, std::multiplies< dedekind::numbers::Rational > > (dedekind::category); unit_trait< dedekind::numbers::Rational, std::plus< dedekind::numbers::Rational > > (dedekind::category); unit_trait< dedekind::numbers::UnitRoot< N >, std::multiplies< dedekind::numbers::UnitRoot< N > > > (dedekind::category); unit_trait< detail_mereology::Dial< N >, Inf > (dedekind::category); unit_trait< detail_mereology::Dial< N >, Sup > (dedekind::category); unit_trait< Identity< T >, Op > (dedekind::category); unit_trait< SC, std::multiplies< SC > > (dedekind::category); unit_trait< SC, std::plus< SC > > (dedekind::category); unit_trait< Sections< T, Op >, compose > (dedekind::category); unit_trait< T, detail_involution::Reversed< Op > > (dedekind::category); unit_trait< T, Op, std::void_t< decltype(T::template unit_v< Op >)> > (dedekind::category); unit_trait< T, Op, void > (dedekind::category); unit_trait< T, std::bit_and<> > (dedekind::category); unit_trait< T, std::bit_or<> > (dedekind::category); unit_trait< T, std::bit_xor< T > > (dedekind::category); unit_trait< T, std::multiplies< T > > (dedekind::category); unit_trait< T, std::multiplies<> > (dedekind::category); unit_trait< T, std::plus< T > > (dedekind::category); unit_trait< T, std::plus<> > (dedekind::category); unit_trait< Z1, std::multiplies< Z1 > > (dedekind::category); unit_trait< Z1, std::plus< Z1 > > (dedekind::category); unit_witness (dedekind::category); unit_witness< dedekind::linear_algebra::covec2_functor< T >, T > (dedekind::category); unit_witness< dedekind::linear_algebra::matrix2x2_functor< T >, T > (dedekind::category); unit_witness< dedekind::linear_algebra::vec2_functor< T >, T > (dedekind::category); unit_witness< maybe_functor< T >, T > (dedekind::category); unit_witness< path_functor< T >, T > (dedekind::category); unit_witness< tuple_functor< T >, T > (dedekind::category); UnitRoot (dedekind::numbers); UniversalPredicate (dedekind::sets); universe_cardinality (dedekind::sets); universe_cardinality< 𝔸< T, L, C > > (dedekind::sets); UnknownPredicate (dedekind::sets); Unordered (dedekind::category::detail_ordinal_sum); Unpack (dedekind::category); UnrelatedCardinalityAlias (dedekind::order::detail_halfspace_witness); Until (dedekind::category)

V: Value (dedekind::sets); value_sum (dedekind::sets); value_sum< std::tuple< A > > (dedekind::sets); value_sum< std::tuple< A, B, Cs... > > (dedekind::sets); ValueIs (dedekind::order::detail_runs); Vec2 (dedekind::linear_algebra); Vec2 (dedekind::optimization); vec2_functor (dedekind::linear_algebra); Vec2Map (dedekind::linear_algebra); Vec2V (dedekind::linear_algebra); Vector (dedekind::geometry); Verdict (dedekind::sets); VertexCandidate (dedekind::optimization); vertical_composition (dedekind::category)

W: Walk (dedekind::category::detail_automaton); Walk (dedekind::order::detail_cover_witness); WeightedUnitPath (dedekind::linear_algebra::detail_transfer); Where (dedekind::category); Window (dedekind::category); WindowJoin (dedekind::category); Windows (dedekind::category); WindowStep (dedekind::category::detail_periodic); With (dedekind::category::detail_periodic); with_carrier (dedekind::sets); with_carrier< std::tuple< Cs... >, C > (dedekind::sets); WithLetters (dedekind::category::detail_automaton); WithSlot (dedekind::relational::detail_rows)

Z: zero_rule (dedekind::linear_algebra); ZeroAction (dedekind::category); ZeroElement (dedekind::category)

Ø: Ø (dedekind::sequences); Ø (dedekind::sets)

ℵ: ℵ (dedekind::sets)

𝔸: 𝔸 (dedekind::numbers); 𝔸 (dedekind::relational); 𝔸 (dedekind::sequences); 𝔸 (dedekind::sets)

𝔽: 𝔽64 (dedekind::algebra)