opeltre / topos

Statistics and Topology
MIT License
8 stars 0 forks source link

Functorial restrictions #31

Open opeltre opened 2 years ago

opeltre commented 2 years ago

Sheaf instances should implement restrictions on subsets of keys.

Fiber(key, shape) instances also implement these for restriction maps