A six functor formalism is a two categorical framework which is widely used in sheaf theoretic geometry. They are the natural categorical setup for algebraic topology, giving clean definitions of homology, cohomology, Poincaré duality, cup products, and more. The complexity of the data involved in a six functor formalism gives rise to many natural, nontrivial coherence problems between functors, and I’ll talk about some coherence results in this framework, proven using string diagrammatics. I’ll aim to give some of the geometric/topological context motivating these problems, though the results themselves are pure category theory.