I'm aware of synthetic mathematical fields like synthetic differential geometry and synthetic topology where the area is developed axiomatically rather than deriving everything analytically from a foundation of sets. 

So I'm wondering if a synthetic linear algebra would make sense or if that's trivial. Is linear type theory essentially the same thing?