{"id":"arxiv/2603.02580","url":"https://arxiv.org/abs/2603.02580","tags":["math.CT"],"score":0,"title":"Dinaturality for Double Categories","domain":"math.CT","source":"arxiv","authors":["Edward Morehouse"],"reviews":0,"subject":"math.CT","summary":"In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double categorical transformations and modifications, and show that ordinary natural transformations and modifications correspond to dinatural ones between dummy functors. We prove the double categorical generalizations of some classical theorems about dinatural transformations for 1-categories, and extend the surface diagram calculus for the locally cubical Gray category of small double categories to include dinatural constructions. In our motivating example of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-03","reactions":{}}