13 research outputs found

    Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories

    Get PDF
    We previously defined collagories essentially as “distributive allegories without zero morphisms”. Collagories are sufficient for accommodating the relation-algebraic approach to graph transformation, and closely correspond to the adhesive categories important for the categorical DPO approach to graph transformation. Heindel and Sobocinski have recently characterised the Van-Kampen colimits used in adhesive categories as bicolimits in span categories. In this paper, we study both bicolimits and lax colimits in collagories. We show that the relation-algebraic co-tabulation concept is equivalent to lax colimits of difunctional morphisms and to bipushouts, but much more concise and accessible. From this, we also obtain an interesting characterisation of Van-Kampen squares in collagories

    An embedding theorem for adhesive categories

    Full text link
    Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also prove a converse: every small adhesive category has a fully faithful functor in a topos, with the functor preserving the all the structure. Combining these two results, we see that the exactness conditions in the definition of adhesive category are exactly the relationship between pushouts along monomorphisms and pullbacks which hold in any topos.Comment: 8 page

    On the axioms for adhesive and quasiadhesive categories

    Full text link
    A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only pushouts along regular monomorphisms, or by asking only for the exactness conditions which hold in a quasitopos. We prove four characterization theorems dealing with adhesive categories and their variants.Comment: 20 pages; v2 final version, contains more details in some proof

    Van Kampen Colimits and Path Uniqueness

    Full text link
    Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of objects that can be represented as algebras as well as coalgebras, e.g., the category of directed graphs. Multimodeling requires to construct colimits of models, decomposition is given by pullback. Compositionality requires an exact interplay of these operations, i.e., diagrams must enjoy the Van Kampen property. However, checking the validity of the Van Kampen property algorithmically based on its definition is often impossible. In this paper we state a necessary and sufficient yet efficiently checkable condition for the Van Kampen property to hold in presheaf topoi. It is based on a uniqueness property of path-like structures within the defining congruence classes that make up the colimiting cocone of the models. We thus add to the statement "Being Van Kampen is a Universal Property" by Heindel and Soboci\'{n}ski the fact that the Van Kampen property reveals a presheaf-based structural uniqueness feature

    Being Van Kampen in Presheaf Topoi is a Uniqueness Property

    Get PDF
    Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, e.g. the category of directed graphs. Multimodeling requires to construct colimits of diagrams of single models and their instances, while decomposition of instances of the multimodel is given by pullback. Compositionality requires an exact interplay of these operations, i.e., the diagrams must enjoy the Van Kampen property. However, checking the validity of the Van Kampen property algorithmically based on its definition is often impossible. In this paper we state a necessary and sufficient yet easily checkable condition for the Van Kampen property to hold for diagrams in presheaf topoi. It is based on a uniqueness property of path-like structures within the defining congruence classes that make up the colimiting cocone of the models. We thus add to the statement "Being Van Kampen is a Universal Property" by Heindel and Sobocinski presented at CALCO 2009 the fact that the Van Kampen property reveals a set-based structural uniqueness feature

    Characterizing Van Kampen Squares via Descent Data

    Full text link
    Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the image of this functor. In this paper we will investigate this question in the special case where the cocone is a cospan, i.e. part of a Van Kampen square. The use of Descent Data as the dominant categorical tool yields two main results: A simple condition which characterizes the reachable part of the above mentioned functor in terms of liftings of involved equivalence relations and (as a consequence) a necessary and sufficient condition for a pushout to be a Van Kampen square formulated in a purely algebraic manner.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

    Bicategories of spans as cartesian bicategories

    Get PDF
    Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic

    Structural Decomposition of Reactions of Graph-Like Objects

    Get PDF
    Inspired by decomposition problems in rule-based formalisms in Computational Systems Biology and recent work on compositionality in graph transformation, this paper proposes to use arbitrary colimits to "deconstruct" models of reactions in which states are represented as objects of adhesive categories. The fundamental problem is the decomposition of complex reactions of large states into simpler reactions of smaller states. The paper defines the local decomposition problem for transformations. To solve this problem means to "reconstruct" a given transformation as the colimit of "smaller" ones where the shape of the colimit and the decomposition of the source object of the transformation are fixed in advance. The first result is the soundness of colimit decomposition for arbitrary double pushout transformations in any category, which roughly means that several "local" transformations can be combined into a single "global" one. Moreover, a solution for a certain class of local decomposition problems is given, which generalizes and clarifies recent work on compositionality in graph transformation. Introduction Compositional methods for the synthesis and analysis of computational systems remain a fruitful research topic with potential applications in practice. Though compositionality is most clearly exhibited in semantics for process calculi where structural operational semantics (SOS) can be found in its "pure" form, a slightly broader perspective is appropriate to make use of the fundamental ideas of SOS in interdisciplinary research. The first source of inspiration of the present paper is the Îș-calculus [6], which is an influential modelling framework in Computational Systems Biology. The Îș-calculus allows to give abstract, formal descriptions of biological systems that can be used to explain the reaction (rate) of complex systems, so-called complexes, in terms of the reaction (rate) of each of its subsystems, which are called partial complexes. Leaving quantitative aspects as a topic for future research, we concentrate on a specific sub-problem, namely the "purely structural" decomposition of reactions. In the Îș-calculus, system states are composed of partial complexes and they have an intuitive, graphical representation. Hence, it is natural to investigate the decomposition of (reactions of) system states using concepts from graph transformation. In its simplest form, the idea of composition of graph transformations is by means of coproducts. Intuitively, the coproduct of two graphs models the assembly of two states put side by side and the two (sub-)states react independently of each other. A well-known, related theorem about graph transformations is the so-called Parallelism Theorem (see e.g. [5, Theorem 17]). A more general formalism of compositionality that is based on pushouts has been (re-)considered in In this paper, we shall remove the restriction to pushouts as a composition mechanism and generalize the results of [18] from pushouts to (pullback stable) colimits of arbitrary shape. This considerably enlarges the set of available gluing patterns. As a simple example, we can now equip each sub-state with several interfaces; this would be appropriate for the model of a cell in an organism that is in direct contact with each of its neighbouring cells with some part of its membrane; each area of contact would be modelled by a different interface. Content of the paper After reviewing some basic category theoretical concepts and the definition of adhesive categories in Section 1, we begin Section 2 with the "deconstruction" of models of system states; more precisely, we explain in Section 2.1 how suitably finite objects in adhesive categories arise as the colimit of a diagram of "atomic" objects, namely irreducible objects in the sense of The main problem, which is concerned with the decomposition of a "global" transformation into a family of "local" ones, is addressed in Section 3. We give a formal description of local decomposition problems, which consist of a given decomposition of a state (as a colimit of a certain shape) and a rule that describes a possible reaction of the state; to solve such a problem means to extend the decomposition of the state to a decomposition of the whole reaction (using colimits of the same shape). Section 3.1 presents a "global" solution, which first constructs the whole transformation "globally"; a "more local" solution of the problem is possible if we are given extra information that involve a generalization of the accommodations o

    A lattice-theoretical perspective on adhesive categories

    Get PDF
    It is a known fact that the subobjects of an object in an adhesive category form a distributive lattice. Building on this observation, in the paper we show how the representation theorem for finite distributive lattices applies to subobject lattices. In particular, we introduce a notion of irreducible object in an adhesive category, and we prove that any finite object of an adhesive category can be obtained as the colimit of its irreducible subobjects. Furthermore we show that every arrow between finite objects in an adhesive category can be interpreted as a lattice homomorphism between subobject lattices and, conversely, we characterize those homomorphisms between subobject lattices which can be seen as arrows

    Processes and unfoldings: concurrent computations in adhesive categories

    Get PDF
    We generalise both the notion of non-sequential process and the unfolding construction (previously developed for concrete formalisms such as Petri nets and graph grammars) to the abstract setting of (single pushout) rewriting of objects in adhesive categories. The main results show that processes are in one-to-one correspondence with switch-equivalent classes of derivations, and that the unfolding construction can be characterised as a coreflection, i.e., the unfolding functor arises as the right adjoint to the embedding of the category of occurrence grammars into the category of grammars. As the unfolding represents potentially infinite computations, we need to work in adhesive categories with "well-behaved" colimits of omega-chains of monos. Compared to previous work on the unfolding of Petri nets and graph grammars, our results apply to a wider class of systems, which is due to the use of a refined notion of grammar morphism
    corecore