Results 31 to 40 of about 789 (269)
Relational Algebra by Way of Adjunctions [PDF]
, 2018 Bulk types such as sets, bags, and lists are monads, and therefore support a notation for database queries based on comprehensions. This fact is the basis of much work on database query languages.
Wu, N +7 more
core +1 more source
Logical Methods in Computer Science, 2014 We investigate the phenomenon that "every monad is a linear state monad". We do this by studying a fully-complete state-passing translation from an impure call-by-value language to a new linear type theory: the enriched call-by-value calculus.
Rasmus Ejlers Møgelberg, Sam Staton
doaj +1 more source
Homotopy theory of modules over diagrams of rings
Proceedings of the American Mathematical Society, Series B, 2014 Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories ℳ(𝓈) (as 𝓈 runs through the diagram ...
J. P. C. Greenlees, B. Shipley
doaj +1 more source
Estimation of influence of heat-conducting inclusions on thermal protection of filler constructions of buildings [PDF]
E3S Web of Conferences, 2019 Article represents recommendations on decrease in heat losses through heat-conducting inclusions of filler constructions of buildings. Recommendations are based on the analysis of calculations by a finite element method in software package Elcut.
Kiselman Andrew +3 more
doaj +1 more source
Revista Integración, 2021 A family of constructs is proposed that generalizes the notion of closure operator associated to a partial order. The constructs of the family (and some of its sub constructs) hold adjoint relations with Gconv which ensure a topological resemblance ...
Emilio Angulo Perkins, Juan Angoa Amador
doaj
Cyclic multicategories, multivariable adjunctions and mates [PDF]
, 2014 A multivariable adjunction is the generalisation of the notion of a 2-variable adjunction, the classical example being the hom/tensor/cotensor trio of functors, to n + 1 functors of n variables.
Riehl, E., Cheng, E., Gurski, N.
core +1 more source
Мелиорация и гидротехника, 2023 Purpose: Carrying out a comprehensive monitoring to assess the technical condition of the reinforced concrete elements of the Nevinnomyssky Canal end outlet, based on the assessment of reliability parameters using non-destructive control methods ...
Bandurin Mikhail A. +3 more
doaj +1 more source
Applications of the Kleisli and Eilenberg-Moore 2-adjunctions [PDF]
Categories and General Algebraic Structures with Applications, 2019 In 2010, J. Climent Vidal and J. Soliveres Tur developed, among other things, a pair of 2-adjunctions between the 2-category of adjunctions and the 2-category of monads.
Juan Luis L'opez Hernández +2 more
doaj
The Formal Theory of Monads, Univalently [PDF]
Logical Methods in Computer ScienceWe develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads internal to a
Niels van der Weide
doaj +1 more source
International Journal of Mathematics and Mathematical Sciences, 2002 We develop some basic functorial techniques for the study of the categories of comodules over corings. In particular, we prove that the induction functor stemming from every morphism of corings has a left adjoint, called ad-induction functor.
J. Gómez-Torrecillas
doaj +1 more source