نتایج جستجو برای: logic ordered category pointed categoryquantaloid semi quantale unital quantale
تعداد نتایج: 442413 فیلتر نتایج به سال:
We pursue the idea that predicate logic is a “fibred algebra” while propositional logic is a single algebra; in the context of intuitionism, this algebraic understanding of predicate logic goes back to Lawvere, in particular his concept of hyperdoctrine. Here, we aim at demonstrating that the notion of monad-relativised hyperdoctrines, which are what we call fibred algebras, yields algebraisati...
The ‘the’ in the title hides a subtlety. A metric space induces not one but four topologies - by means of open sets, closed closure, and interior they just so happen to coincide. agreement between these structures arising from function d:X×X→[0,∞] is due combination axioms lattice structure [0,∞]. Further motivation materializes Lawvere's observation 1973 effect that (slightly generalized) cate...
The concept of quantum triad has been introduced by D. Kruml [6], where for a given pair of quantale modules L,R over a common quantale Q, endowed with a bimorphism (a ‘bilinear map’) to Q, a construction equipping L and R with additional module structure and another bimorphism, both compatible with the existing bimorphism and action of the quantale, was presented. As the original concept was o...
In this paper, we study the relations (L, )-fuzzy topologies and (L, )-filters on strictly two-sided, commutative quantale lattices (L, ) and (L, ∗). Mathematics Subject Classification: 03E72, 54A40, 54B10
In this paper, we study (L, )-fuzzy topologies induced by operations and (L, )-filters on strictly two-sided, commutative quantale lattices (L, ) and (L, ∗). Mathematics Subject Classification: 03E72, 54A40, 54B10
It is shown that every two-variable adjunction in categories enriched a commutative quantale serves as base for constructing Isbell adjunctions between functor categories, and Kan are precisely constructed from suitable associated adjunctions. Representation theorems established fixed points of these
An algebraic approach to the design of program construction and verification tools is applied to separation logic. The control-flow level is modelled by power series with convolution as separating conjunction. A generic construction lifts resource monoids to assertion and predicate transformer quantales. The data domain is captured by concrete store-heap models. These are linked to the separati...
The aim of Coalgebraic Logic is to find formalisms that allow reasoning about T-coalgebras uniformly in the functor T. Moss' seminal idea was to consider the set functor T as providing a modality ∇ T , the semantics of which is given in terms of the relation lifting of T. The latter exists whenever T preserves weak pullbacks. In joint work with Marta Bílková, Alexander Kurz and Jiří Velebil, we...
In this paper, projective modules over a quantale are characterized by distributivity, continuity, and adjointness conditions. It is then show that a morphism Q // A of commutative quantales is coexponentiable if and only if the corresponding Q-module is projective, and hence, satisfies these equivalent conditions.
Our work is a fundamental study of the notion of approximation inQ-categories and in (U,Q)-categories. Our exposition is categorical but kept as close to language of domain theory as possible. Consequently, we introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of Qand (U,Q)-categories. We fully characterize J-continuous Q-categories (...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید