curve.cppm File Reference

The Curve (Continuum-Indexed Morphism Family). More...

#include <concepts>
#include <cstddef>
#include <functional>
import dedekind.sequences:net;
import dedekind.sets;
import dedekind.category;

Include dependency graph for curve.cppm:

Classes
class	dedekind::sequences::Curve< Parameter, T, Cardinality >
	A continuum-indexed family γ: I -> T. More...

Concepts
concept	dedekind::sequences::IsCurve
	A real-parameter indexed morphism family.

Detailed Description

The Curve (Continuum-Indexed Morphism Family).

@partition :curve

curve__Curve_Morphism

A curve is modeled as a morphism family γ: I -> T where I is a real-valued index species. This complements Path (countable/discrete indexing) with a continuum-indexed sibling.

Copyright

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

Note

"God made the integers; all else is the work of man." – Leopold Kronecker