Directed Homotopy, Sectional Invariants, and Functorial Databases

Isaac Carcacía-Campos

A database instance on a small category may be represented as a set-valued functor or, equivalently, as a discrete opfibration. Its sections correspond to globally coherent choices…