Results 1 to 10 of about 531,576 (329)
Quotient-Comprehension Chains [PDF]
, 2015 Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in ...
Cho, K. +4 more
core +5 more sources
Quotient triangulated categories [PDF]
manuscripta mathematica, 2006 For a self-orthogonal module $T$, the relation between the quotient triangulated category $D^b(A)/K^b({\rm add} T)$ and the stable category of the Frobenius category of $T$-Cohen-Macaulay modules is investigated.
Chen, Xiao-Wu, Zhang, Pu
core +6 more sources
Elementary quotient completion [PDF]
Theory and Applications of Categories, 2012 We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds effective quotients and extensional equality. We note that the elementary
Maietti, Maria Emilia +1 more
core +6 more sources
Indonesian Journal of Islam and Muslim Societies, 2021 There are three theories of human intelligence, namely Intellectual Quotient (IQ), Emotional Quotient (EQ), and Spiritual Quotient (SQ). In its subsequent development, following the SQ era that considered the God Spot in the human brain as a source of ...
Achmad Ushuluddin +3 more
doaj +2 more sources
Factorization of the Characteristic Polynomial [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 We introduce a new method for showing that the roots of the characteristic polynomial of a finite lattice are all nonnegative integers. Our method gives two simple conditions under which the characteristic polynomial factors.
Joshua Hallam, Bruce Sagan
doaj +1 more source
Introduction to Completely Geometrically Integrable Maps in High Dimensions
Mathematics, 2023 We introduce here the concept of completely geometrically integrable self-maps of n-dimensional (n≥2) cells, cylinders and tori. This concept is the extension of the geometric integrability concept previously introduced for the self-maps of a rectangle ...
Lyudmila S. Efremova
doaj +1 more source
Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique
IEEE Access, 2023 Recently, probabilistic Kripke structures have been used to represent uncertain systems; nevertheless, important transition costs were ignored in earlier studies, making it impossible to model some uncertain systems with costs.
Hui Deng, Yuzhe Zhang, Zhilong Huang
doaj +1 more source
Quotient categories and rings of quotient [PDF]
Rocky Mountain Journal of Mathematics, 1972 A Serre class in an abelian category cA is a nonempty subclass : R —» R^, cRs fi S (the class of Rs modules which belong to
Walker, Carol L., Walker, Elbert A.
openaire +3 more sources
Fundamental Relation on HvBE-Algebras
Bulletin of the Section of Logic, 2023 In this paper, we are going to introduce a fundamental relation on \(H_{v}BE\)-algebra and investigate some of properties, also construct new \((H_{v})BE\)-algebras via this relation.
Farzad Iranmanesh +2 more
doaj +1 more source
Quotients and subalgebras of sup-algebras; pp. 311–322 [PDF]
Proceedings of the Estonian Academy of Sciences, 2015 An ordered algebra is called a sup-algebra if its underlying poset is a complete lattice and its operations are compatible with joins in each variable. In this article we study quotients and subalgebras of sup-algebras.
Xia Zhang, Valdis Laan
doaj +1 more source