The following pages link to (Q3223016):
Displayed 9 items.
- Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry (Q517698) (← links)
- Germ representability and local integration of vector fields in a well adapted model of SDG (Q914822) (← links)
- Logical opens and real numbers in topoi (Q1086339) (← links)
- Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs (Q1110648) (← links)
- Cohomologie T-équivariante de la variété de drapeaux d'un groupe de Kač-Moody (Q3488157) (← links)
- (Q4289835) (← links)
- (Q4322440) (← links)
- (Q4500846) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)