Convex Hulls on Cellular Automata

Maignan, Luidnel; Gruau, Fredric

doi:10.1007/978-3-642-15979-4_7

Cited by 3 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These "reasons" form the aforementioned external information, not present in the input, but nonetheless taken into account to produce the result. This external information can be the result of a choice, either from a random source, from an external scheduler, or simply from another part of the system that is not modeled but just taken as secondary input instead (Maignan and Gruau (2008, 2009, 2010; Arrighi et al (2013)).…”

Section: Introductionmentioning

confidence: 99%

The Bicategory of Open Functors

Fernandez,

Maignan,

Spicher

2021

Preprint

Self Cite

View full text Add to dashboard Cite

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).

show abstract