Abstract:Digital topology is part of the ongoing endeavor to understand and analyze digitized images. With a view to supporting this endeavor, many notions from algebraic topology have been introduced into the setting of digital topology. But some of the most basic notions from homotopy theory remain largely absent from the digital topology literature. We embark on a development of homotopy theory in digital topology, and define such fundamental notions as function spaces, path spaces, and cofibrations in this setting. We establish digital analogues of basic homotopy-theoretic properties such as the homotopy extension property for cofibrations, and the homotopy lifting property for certain evaluation maps that correspond to path fibrations in the topological setting. We indicate that some depth may be achieved by using these homotopy-theoretic notions to give a preliminary treatment of Lusternik–Schnirelmann category in the digital topology setting. This topic provides a connection between digital topology and critical points of functions on manifolds, as well as other topics from topological dynamics.

A Fundamental Group for Digital Images

Subdivision of Maps of Digital Images

A Second Homotopy Group for Digital Images

On Fundamental Groups of Finsler Manifolds

The fundamental group as a topological group

The fundamental group(oid) in discrete homotopy theory

Homotopy Theory in Digital Topology

Digital topological groups

Computing Fundamental Group of General 3-Manifold

Homotopy equivalence of finite digital images

On the proalgebraic fundamental group of topological spaces and amalgamated products of affine group schemes

The geometric fundamental group of the affine line over a finite field

Subdivision as a fundamental building block of digital geometry processing algorithms

Some enumerations of binary digital images

On the motivic description of truncated fundamental group rings

Fundamental Groups of Hamming Graphs

Topological fundamental groupoid. I

Some remarks on algebraic fundamental groups

On fundamental groups of spaces of (framed) embeddings of the circle in 4-manifolds

Semi-coarse Spaces: Fundamental Groupoid and the van Kampen Theorem