In this talk, I will characterize those weak factorization systems that admit the structure of a πh-tribe. A πh-tribe, so called by Joyal, is a display map category that models Π, Σ, and identity types, and this is the notion of 'model' that I take for this talk. That characterization will then be used to find such a model in a category of topological spaces.