Searching for "Arrow categories." – sorted by Relevance.
-
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
- of arrows, of the category under consideration. This allows us to present a very simple way of deriving
- Cited by 34 (4 self) – Add To MetaCart
-
The Categorical Product Data Model as a Formalism for Object-Relational Databases
- are manipulated in geometric logic by a single concept represented by the arrow. The category of products
- Cited by 6 (3 self) – Add To MetaCart
-
The Categorical Product Data Model as a Formalism for Object--Relational Databases
- are manipulated in geometric logic by a single concept represented by the arrow. The category of products
- Add To MetaCart
-
Twisted Systems and the Logic of Imperative Programs
- is the twisted arrow category of J. This gives twisted systems, ie. pairs: (J; e J C) In particular, a program
- Cited by 1 (1 self) – Add To MetaCart
-
DPO Rewriting and Abstract Semantics via Obfibrations
- skeleton category of graphs, a base of canonical graphs-in-context, with DPO rules as arrows
- Add To MetaCart
-
Twisted Systems
- ) where g (\Gamma) : Cat Cat is the twisted arrow category construction. In a strong sense, a functor
- Cited by 1 (1 self) – Add To MetaCart
-
The role of Michael Batanin's monoidal globular categories
- s t m m p 2 p 1 Recall that an w-category in X is a reflexive globular object X together with arrows
- Cited by 9 (1 self) – Add To MetaCart
-
Categorical Fixed Point Calculus
- of the category C , and f 2x / C y when f is an arrow in C with codomain x and domain y: The identity arrow
- Cited by 3 (0 self) – Add To MetaCart
-
Maps II: Chasing Diagrams in Categorical Proof Theory
- and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist
- Cited by 5 (2 self) – Add To MetaCart
-
Normal Forms for Algebras of Connections
- Categories 42 A.3 GS-Monoidal -spaces are Arrows of the GS-Monoidal Theory 46 1 Introduction Since models
- Cited by 1 (0 self) – Add To MetaCart

