no code implementations • 28 Jul 2021 • Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
We enhance the calculus of string diagrams for monoidal categories with hierarchical features in order to capture closed monoidal (and cartesian closed) structure.
no code implementations • 23 Jun 2020 • Dan R. Ghica, Todd Waugh Ambridge
We examine the connections between deterministic, complete, and general global optimisation of continuous functions and a general concept of regression from the perspective of constructive type theory via the concept of 'searchability'.