Results 31 to 40 of about 791 (171)
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
Мелиорация и гидротехника, 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
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
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
A perfect pairing for monoidal adjunctions [PDF]
, 2023 We give another proof of the fact that there is a dual equivalence between the $\infty$-category of monoidal $\infty$-categories with left adjoint oplax monoidal functors and that with right adjoint lax monoidal functors by constructing a perfect pairing
Torii, Takeshi
core
, 2010 We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg-Moore objects in double categories.
Kock, Joachim +3 more
core +2 more sources
Journal of Pure and Applied Algebra, 2003 It is shown that the multiplicative monoids of Temperley-Lieb algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a category whose arrows are matrices, and the functor adjoint to itself is based on the Kronecker product of matrices ...
Došen, Kosta, Petrić, Zoran
openaire +2 more sources