Stefano Kasangian

Learn More
In this paper a we give a semantics for SCCS using the constructions of the topos of labelled trees. The semantics accounts for all aspects of the original formulation of SCCS, including unbounded non-determinism. Then, a partial solution to the problem of characterizing bisimulation in terms of a class of morphisms is proposed. We deene a class of(More)
Working in the context of categorical groups, we show that the semidi-rect product provides a biequivalence between actions and points. From this biequivalence, we deduce a 2-dimensional classification of split extensions of categorical groups, as well as the universal property of the holomorph of a categorical group. We also discuss the link between the(More)