scholarly journals A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES

2018 ◽  
Vol 83 (3) ◽  
pp. 899-919 ◽  
Author(s):  
TOMMASO MORASCHINI
Keyword(s):  
Algebraic Characterization ◽  
Adjoint Functors ◽  
Algebraic Description ◽  
Category Equivalence

AbstractWe present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences.

scholarly journals THE BIDETERMINISTIC CONCATENATION PRODUCT

1993 ◽  
Vol 03 (04) ◽  
pp. 535-555 ◽  
Author(s):  
JEAN-ERIC PIN ◽  
DENIS THÉRIEN
Keyword(s):  
Inverse Image ◽  
Algebraic Characterization ◽  
Commutative Monoids ◽  
Nilpotent Semigroup ◽  
Expansion Formula ◽  
Regular Elements ◽  
Malcev Product ◽  
Algebraic Description ◽  
Concatenation Product

This paper is devoted to the study of the bideterministic concatenation product, a variant of the concatenation product. We give an algebraic characterization of the varieties of languages closed under this product. More precisely, let V be a variety of monoids, [Formula: see text] the corresponding variety of languages and [Formula: see text] the smallest variety containing [Formula: see text] and the bideterministic products of two languages of [Formula: see text]. We give an algebraic description of the variety of monoids [Formula: see text] corresponding to [Formula: see text]. For instance, we compute [Formula: see text] when V is one of the following varieties: the variety of idempotent and commutative monoids, the variety of monoids which are semilattices of groups of a given variety of groups, the variety of ℛ-trivial and idemptotent monoids. In particular, we show that the smallest variety of languages closed under bideterministic product and containing the language {1}, corresponds to the variety of [Formula: see text]-trivial monoids with commuting idempotents. Similar results were known for the other variants of the concatenation product, but the corresponding algebraic operations on varieties of monoids were based on variants of the semidirect product and of the Malcev product. Here the operation [Formula: see text] makes use of a construction which associates to any finite monoid M an expansion [Formula: see text] with the following properties: (1) M is a quotient of [Formula: see text] (2) the morphism [Formula: see text] induces an isomorphism between the submonoids of [Formula: see text] and of M generated by the regular elements and (3) the inverse image under π of an idempotent of M is a 2-nilpotent semigroup.

scholarly journals Characterization of Dissipative Structures for First-Order Symmetric Hyperbolic System with General Relaxation

Mathematics ◽  
2021 ◽  
Vol 9 (7) ◽  
pp. 728
Author(s):  
Yasunori Maekawa ◽  
Yoshihiro Ueda
Keyword(s):  
Hyperbolic System ◽  
Dissipative Structure ◽  
Dissipative Structures ◽  
Algebraic Characterization ◽  
Symmetric Hyperbolic System ◽  
Full Generality ◽  
Order Linear ◽  
First Order

In this paper, we study the dissipative structure of first-order linear symmetric hyperbolic system with general relaxation and provide the algebraic characterization for the uniform dissipativity up to order 1. Our result extends the classical Shizuta–Kawashima condition for the case of symmetric relaxation, with a full generality and optimality.

scholarly journals Homological epimorphisms, homotopy epimorphisms and acyclic maps

2020 ◽  
Vol 32 (6) ◽  
pp. 1395-1406
Author(s):  
Joseph Chuang ◽  
Andrey Lazarev
Keyword(s):  
Wide Class ◽  
Topological Spaces ◽  
Loop Spaces ◽  
Graded Algebras ◽  
Differential Graded Algebras ◽  
Algebraic Description ◽  
Acyclic Map ◽  
Induced Maps

AbstractWe show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of induced maps of their chain algebras of based loop spaces. In the case of a universal acyclic map we obtain, for a wide class of spaces, an explicit algebraic description for these induced maps in terms of derived localization.

An Axiomatic Characterization of a Class of Petri Nets

1991 ◽  
Vol 14 (4) ◽  
pp. 477-491
Author(s):  
Waldemar Korczynski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Axiomatic Characterization ◽  
Algebraic Characterization

In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) Petri net.

Algebraic characterization of bridged polycyclic compounds

1981 ◽  
Vol 19 (5) ◽  
pp. 929-955 ◽  
Author(s):  
Ov. Mekenyan ◽  
D. Bonchev ◽  
N. Trinajsti?
Keyword(s):  
Algebraic Characterization ◽  
Polycyclic Compounds

scholarly journals Algebraic Characterization of Rings of Continuousp-Adic Valued Functions

2015 ◽  
Vol 44 (2) ◽  
pp. 486-499
Author(s):  
Samuel Volkweis Leite ◽  
Alexander Prestel
Keyword(s):  
Algebraic Characterization
Sign in / Sign up

Export Citation Format

Share Document