Between 1969 and 1974, Doplicher, Haag and Roberts published a series of papers, studying the structure of the algebra of observables of general QFTs. Only very recently did those ideas get adapted to the study of discrete systems, or quantum lattice systems.

In this talk, mostly based on Corey Jones' original paper (arXiv 2304.00068), I will give an overview of the mathematical machinery behind what he called "discrete DHR theory". I will also present some of the main results that have been developed in this formalism: a new tool for the study of Quantum Cellular Automata, and a SymTFT-like construction for discrete systems.