Poster version of the Applied Categorical Structures paper (joint work with Keisuke Hoshino), presented at the same meeting as the “…and fibrations” talk.