3

Weihrauch reducibility is a notion of reducibility between computational problems that is useful to calibrate the uniform computational …

The study of categories abstracting the structural properties of relations has been extensively developed over the years, resulting in …

Grothendieck fibrations are fundamental in capturing the concept of \emph{dependency}, notably in categorical semantics of type theory …