Sequences, paths, and (co-)Kleisli triples over directed sets. More...

import dedekind.sequences:pst;

Include dependency graph for sequences.cppm:

This graph shows which files directly or indirectly include this file:

Detailed Description

Sequences, paths, and (co-)Kleisli triples over directed sets.

Copyright: 2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

Note: "Lo que no se sabe expresar no se sabe." — Miguel de Unamuno (España), Spanish Wikiquote. [Trans: "What one cannot express, one does not know."]

Roadmap (work in progress)

#286 undergraduate calculus: limits, series, summability and monotone or bounded sequences, with the ratio, root and comparison tests as finite-sampling hooks (:convergence); still open are those tests as criteria proved of a series, and power series.
#330 undergraduate algorithms and data structures: finite sequences; still open are stacks, queues, heaps and trees.