Algebraic description of bounded real matrixes

1966 ◽  
Vol 2 (12) ◽  
pp. 464 ◽  
Author(s):  
B.D.O. Anderson
Keyword(s):  
Algebraic Description

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.

Properties of implication in effect algebras

2021 ◽  
Vol 71 (3) ◽  
pp. 523-534
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Hilbert Space ◽  
Quantum Mechanics ◽  
State Space ◽  
Effect Algebra ◽  
Modus Ponens ◽  
Effect Algebras ◽  
Algebraic Semantics ◽  
Deductive Systems ◽  
Algebraic Description ◽  
Residuated Poset

Abstract Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serve as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is equipped with implication, we introduce here such a concept and demonstrate its properties. In particular, we show that this implication is connected with conjunction via a certain “unsharp” residuation which is formulated on the basis of a strict unsharp residuated poset. Though this structure is rather complicated, it can be converted back into an effect algebra and hence it is sound. Further, we study the Modus Ponens rule for this implication by means of so-called deductive systems and finally we study the contraposition law.

scholarly journals Twin TQFTs and Frobenius Algebras

2013 ◽  
Vol 2013 ◽  
pp. 1-25
Author(s):  
Carmen Caprau
Keyword(s):  
Monoidal Category ◽  
Topological Quantum Field Theory ◽  
Algebra Homomorphism ◽  
Frobenius Algebra ◽  
Quantum Field ◽  
Generators And Relations ◽  
Symmetric Monoidal Category ◽  
Frobenius Algebras ◽  
Topological Quantum ◽  
Algebraic Description

We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on atwin Frobenius algebra, by providing a description of this category in terms of generators and relations. A twin Frobenius algebra(C,W,z,z∗)consists of a commutative Frobenius algebraC, a symmetric Frobenius algebraW, and an algebra homomorphismz:C→Wwith dualz∗:W→C, satisfying some extra conditions. We also introduce a generalized 2-dimensional Topological Quantum Field Theory defined on singular 2-dimensional cobordisms and show that it is equivalent to a twin Frobenius algebra in a symmetric monoidal category.

Sign in / Sign up

Export Citation Format

Share Document