The Bicategory of Open Functors

arXiv2102.08051MaRDI QIDQ6360754FDOQ6360754

Authors: Alexandre Fernandez, Luidnel Maignan, Antoine Spicher 

Publication date: 16 February 2021

Abstract: We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external information is taken into account. For the particular use of the authors, such an open functor is described by two components: a presheaf representing the possible external influences for each input, and a classical functor from the category of elements of this presheaf to the category of results. Considering the appropriate notion of composition then leads to a bicategory. This report describes this bicategory with as little auxiliary constructions as possible and gives all the details of all the proofs needed to establish the bicategory, as explicitly as possible. Subsequent reports will give other presentations of this bicategory and compare it to other existing constructions, e.g. spans, fibrations, pseudoadjunctions, Kleisli bicategories of pseudo-monads, and profunctors (or distributors).

This page was built for publication: The Bicategory of Open Functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6360754)