6 citations · 20 across the 7 of their papers we have counts for
1 paper · 1 filter
Anders Kock
In the context of Synthetic Differential Geometry, we describe a notion of higher connection with values in a cubical groupoid. We do this by exploiting a certain structure of cubi…