# Thesis corrections (30.09.2025)

### Chapter 1

- In 1.2, Mentioned "unfolding" and the new empirical results of Chapter 5

### Chapter 2

- In chapter 2, added paragraphs in 2.1 and 2.4 to differentiate the physical
  intuitions for matter-based vs photonic systems

### Chapter 3

- Replaced most of Section 3.3 with a categorical description of minIR. All
  comments regarding this section should be addressed.
- Swapped sections 3.4 and 3.5
- Rewrote 3.5 (now 3.4) to follow a DPO/SqPO-based presentation
- Renamed 3.4 (now 3.5), adjusted it to use the new notation and addressed
  comments.

### Chapter 4

- Added discussion on rigidity to 4.2
- Added figures with an example to illustrate sections 4.4 and 4.5.
- Expanded benchmarking discussion in 4.7

### Chapter 5

- Mention graph unfolding in intro of Ch5
- Added litterature review on unfoldings in 5.1.
- Renamed "edit" to "event" (5.3 onwards) to match literature; similarly,
  replaced A(D) notation to \lfloor D \rfloor.
- Added two figures illustrating the constructions of 5.3 with an example.
- Reorganised 5.4 to gather the major contributions of the proposed approach in
  one place.
- Explicitly listed hypotheses in 5.5 and explored their implications on simple
  use cases.
- Appended exploratory benchmarks to 5.5, supporting our theoretical results.
