opeltre / topos

Statistics and Topology
MIT License
8 stars 0 forks source link

Domain maps #11

Closed opeltre closed 2 years ago

opeltre commented 2 years ago

Linear operators and functionals now created with

f = Linear([src, tgt], f)
f = Functional([src, tgt], f)

Add GradedLinear to solve #7

Add Sheaf class to represent domain K with local shapes, associate trivial sheaf K.scalars solving #8