activity
20162026
most citedMonoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

math.CT2016

Dynamical Systems and Sheaves

Patrick Schultz, David I. Spivak, Christina Vasilakopoulou

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sor…

math.CT2016

Algebraic Databases

Patrick Schultz, David I. Spivak, Christina Vasilakopoulou +1

Databases have been studied category-theoretically for decades. The database schema -- whose purpose is to arrange high-level conceptual entities -- is generally modeled as a categ…