search

opeltre / topos

Statistics and Topology
MIT License
8 stars 0 forks source link

Cartesian structure on Fields #18

Open opeltre opened 2 years ago

opeltre commented 2 years ago

Implement direct sum and tensor product: 

(u & v).domain = Sum(u.domain, v.domain)
(u | v).domain = Product(u.domain, v.domain)

Made possible by #14, on fields but also linear functionals