Double Categories in Mathematical Physics