All Questions
1 question
6
votes
1
answer
373
views
How to differentiate natural transformations?
Let $G_{\bullet} = (G_1 \rightrightarrows G_0)$ and $H_{\bullet} = (H_1 \rightrightarrows H_0)$ be Lie groupoids and $\varphi_\bullet, \psi_\bullet : G_\bullet \to H_\bullet$ be Lie groupoid morphisms,...