- Full text PDF available (13)
- This year (0)
- Last 5 years (7)
- Last 10 years (13)
AIM The aim of this study was to evaluate the level of knowledge and the current attitudes towards infection control in the dental offices in the Northeast Romania. MATERIAL AND METHODS Questionnaire-based study conducted on 152 dentists aged between 25-65 years practicing in 6 Northeast Romania counties. The questionnaire included questions related to… (More)
Motivation Most of coalgebraic logic is focussed on Set-coalgebras and their associated (Boolean) logics. Investigation of coalgebraic logic over Poset already started – expressivity results [Kurz-Kapulkin-Velebil CMCS2010]. Would deserve a systematic investigation of Poset-functors and their coalgebras. In this talk: we restrict on how to move from… (More)
Background Modal logic atomic propositions (a ∧ b) = a ∧ b, = ♦(a ∨ b) = ♦a ∨ ♦b, ♦⊥ = ⊥ (⇒ modal operators are monotone) a ∧ ♦b ≤ ♦(a ∧ b) (a ∨ b) ≤ ♦a ∨ b
We extend Barr's well-known characterization of the final coalgebra of a Set-endofunctor H as the completion of its initial algebra to the Eilenberg-Moore category Alg(M) of algebras associated to a Set-monad M, if H can be lifted to Alg(M). As further analysis, we introduce the notion of commuting pair of endofunctors (T, H) with respect to a monad M and… (More)
If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we prove that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A H. We define also Galois extensions and prove the connection with this Morita context, as in the Hopf case.
The notion of crossed product with a coquasi-Hopf algebra H is introduced and studied. The result of such a crossed product is an algebra in the monoidal category of right H-comodules. We give necessary and sufficient conditions for two crossed products to be equivalent. Then, two structure theorems for coquasi Hopf modules are given. First, these are… (More)
The notions of Galois and cleft extensions are generalized for coquasi-Hopf algebras. It is shown that such an extension over a coquasi-Hopf algebra is cleft if and only if it is Galois and has the normal basis property. A Schneider type theorem () is proven for coquasi-Hopf algebras with bijective antipode. As an application, we generalize… (More)
We show that for a commutative quantale V every functor Set −→ V -cat has an enriched leftKan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V -cat. Moreover, one can build functors on V -cat by equipping Set-functors with a metric. 1998 ACM Subject Classification F.4.1 Mathematical Logic
The distribution of prime numbers is here considered. We show a formula for li −1 and we study the π(x) function and Riemann's hypothesis.
An introduction to the moduli space of holomorphic fiber bundles M n (Σ) on a compact Riemann surface Σ is presented and a formula for the regularised determinant and an other for the symplectic form at trivial bundle is proposed. Classification AMS 53C07.