We introduce a systematic mathematical language for describing fixed point models and apply it to the study to topological phases of matter. The framework established is reminiscent to that of state-sum models and lattice topological quantum field theories, but is formalized and unified in terms of tensor networks. In contrast to existing tensor network ansatzes for the study of ground states of topologically ordered phases, the tensor networks in our formalism directly represent discrete path integrals in Euclidean space-time. This language is more immediately related to the Hamiltonian defining the model than other approaches, via a Trotterization of the respective imaginary time evolution. We illustrate our formalism at hand of simple examples, and demonstrate its full power by expressing known families of models in 2+1 dimensions in their most general form, namely string-net models and Kitaev quantum doubles based on weak Hopf algebras. To elucidate the versatility of our formalism, we also show how fermionic phases of matter can be described and provide a framework for topological fixed point models in 3+1 dimensions.
