Searching for "Arrow categories." – sorted by Relevance.
203 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
