SYNTHETIC LIE THEORY (Q2814353)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | SYNTHETIC LIE THEORY |
scientific article |
Statements
SYNTHETIC LIE THEORY (English)
0 references
21 June 2016
0 references
mathematics
0 references
cateogory theory
0 references
synthetic differential geometry
0 references
Lie theory
0 references
intuitionistic logic
0 references