opeltre / topos

Statistics and Topology
MIT License
9 stars 0 forks source link

Harmonise Fiber and Sheaf interfaces #21

Open opeltre opened 3 years ago

opeltre commented 3 years ago

Fibers and sheaves both represent index ranges - a fiber is the same as a sheaf over a point.

Harmonising both interfaces will allow to have sheaves whose fibers are also sheaves.

This is particularly useful to define restrictions, quotients, fibrations...

(continues #12)

opeltre commented 3 years ago

To do this, one should first define the class method Sheaf.join(sheaves) (see Fiber.join here) to compute offsets based on each sheaf's size.

Then have a look at methods such as Sheaf.index / Fiber.index