We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...

in this work, the efficiency, generality and applicability of new bronsted acidic ionic liquid (bail) 1-methyl-3-(2-(sulfooxy)ethyl)-1h-imidazol-3-ium chloride {[msei]cl} as heterogeneous and green catalyst for organic transformations are studied. herein, the following one-pot multi-component reactions in the presence of [msei]cl are investigated: (i) the synthesis of quinoxaline derivatives fr...

In this paper, a set of transformations is defined on to. Some basic and naïve mathematical structure of is introduced. The concept of discrete dynamical systems through IVT and some further research scope of IVTs are highlighted. and 4]. A class of discrete transformations on named as Integral Value Transformations (IVT), corresponding to each of those CA rules, is introduced in the formation ...

exact solution for steady two-dimensional flow of an incompressible magma is obtained. themagmatic flow is studied by considering the magma as a second grade fluid. the governing partialdifferential equations are transformed to ordinary differential equations by symmetry transformations. resultsare discussed through graphs to understand the rheology of the flowing magma

In order to understand, analyze and possibly modify software, we commonly examine and manipulate its architecture. For example, we may want to examine the architecture at different levels of abstraction or repair the architecture if it has deviated from our mental model of the software. We can view such manipulations as architectural transformations, and more specifically, as graph transformati...

Air plasma spray (APS) process is used to produce high density and flowability spherical powders. Phase transformation that occurred in this process isn’t well known. In this paper, the YSZ powders have been sprayed in water to investigate the morphology changes and phase transformations via air plasma spray (APS) method. Phase analysis of powders was examined by XRD and the crystallite size an...

For a multicomponent wave field propagating into a multidimensional conversion region, the rays are shown to be helical, in general. For a ray-based quantity to have a fundamental physical meaning, it must be invariant under the following two groups of transformations, which are used to construct solutions: congruence transformations (which involve linear combinations of components of the multi...

In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its own pre and postconditions, but structurally dependent on its parent. Following the proofs-as-model-transformations approach, in this paper we consider a formalisation in Constructive Type Theory of the concepts of mod...