Searching for "Algebra Categorically." – sorted by Relevance.
67 documents found, showing 1 through 10.
Next 10 →
-
CATEGORICAL EQUIVALENCE OF ALGEBRAS WITH A MAJORITY TERM
- …CATEGORICAL EQUIVALENCE OF ALGEBRAS WITH A MAJORITY TERM Clifford Bergman June 1998 Abstract. Let…
- Add To MetaCart
-
Small Objects in Categories of Algebras
- … of categorical universal algebra/ categorical model theory it examines algebraic and categorical smallness…
- Add To MetaCart
-
Relation Algebras of Intervals
- … be constructed direct from the relation algebra. If, further, the original relation algebra is !-categorical we…
- Cited by 13 (3 self) – Add To MetaCart
-
Modal and Temporal Logics for Processes
- … for processes. In section 1 we introduce concurrent processes as terms of an algebraic language comprising a few…
- Cited by 64 (2 self) – Add To MetaCart
-
Modal and Temporal Logics for Processes
- … for processes. In section 1 we introduce concurrent processes as terms of an algebraic language comprising a few…
- Add To MetaCart
-
Categories of Relational Structures
- …. Categorical approach attempts to express all (internal) properties of algebras in (external) terms…
- Cited by 11 (2 self) – Add To MetaCart
-
Step by Step - Building Representations in Algebraic Logic
- … formulas. Equivalence games are defined, and are used to establish whether an algebra is !-categorical. We…
- Cited by 27 (15 self) – Add To MetaCart
-
Hierarchically Distributed Graph Transformation
- …. This new approach to graph transformation follows the lines of algebraic and categorical graph grammars…
- Cited by 7 (1 self) – Add To MetaCart
-
Morita equivalence of almost-primal clones
- … Abstract. Two algebraic structures A and B are called categorically equivalent if there is a functor from…
- Cited by 2 (1 self) – Add To MetaCart
-
Programming Metalogics with a Fixpoint Type
- … derived from the definition of a fixpoint object as an initial algebra. The categorical structure which…
- Cited by 11 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
