Categories, Types and Structures. Page 1 HAL Id: hal-03316030 https://ens.hal.science/hal-03316030
Submitted on 10 Aug 2021 HAL is a multi-disciplinary open access archive for the deposit and …

We consider the following two properties of a functor F from a presheaf topos to the category
of sets:(a) F preserves connected limits, and (b) the Artin glueing of F is again a presheaf …

This book analyzes the generation of the arrow-categories of a given category, which is a
foundational and distinguishable Category Theory phenomena, in analogy to the …

Nondeterminism is a direct outcome of interactions and is, therefore a central ingredient for
modelling concurrent systems. Trees are very useful for modelling nondeterministic …

A generalization of Kleene Algebras (structures with+·*, 0 and 1 operators) is considered to
take into account possible nondeterminism expressed by the+ operator. It is shown that …

Given an automaton, its behaviour can be modelled as the sets of strings over an alphabet A
that can be accepted from any of its states. When considering concurrent systems, we can …

The aim of this paper is to introduce an enriched categorical approach which provides a
unifying theory for many notions of parallelism and concurrency. Our constructions are …

An alternative (tree-based) semantics for a class of regular expressions is proposed that
assigns a central rôle to the+ operator and thus to nondeterminism and nondeterministic …

The construction of models for distributed computations plays a very important role in
designing and develo** parallel computing systems. Various algebraic approaches have …

Models for parallel and concurrent processes lead quite naturally to the study of monoidal
categories (Inform. Comput. 88 (2)(1990) 105). In particular a category Tree of trees …