• Type theoretical databases 

      Forssell, Jon Henrik; Gylterud, Håkon Robbestad; Spivak, David I (Journal article; Peer reviewed, 2020)
      We show how the display-map category of finite (symmetric) simplicial complexes can be seen as representing the totality of database schemas and instances in a single mathematical structure. We give a sound interpretation ...