Talk:Twisted diagonal (category theory)