基于Ω-范畴的定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。     

自由函子及其伴随函子

本文证明了由集合范畴到f-模范畴的自由函子的存在性，构造了自由函子的伴随函子。     

函子范畴的Recollement

函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment．应用到k-线性范畴,得到k．线性Abel范畴的recollement可以自然诱导其模范畴的recollement．     

函子范畴上加性函子的一个表示

研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价.所得结论在函子范畴上,推广了Watts定理.     

范畴Ω-Cat的函数空间及其性质

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。     

范畴上的一个函子及范畴

本文定义了一个由范畴Ｍ到范畴Ａ的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧ证明了定理：任意则其中Ｐ为素数．     

涉及迹同伦范畴的几对伴随函子

Ｋ．Ａ．Ｈａｒｄｉｅ与Ｋ．Ｈ．Ｋａｍｐｓ研究过固定空间Ｂ上的迹同伦范畴（［１］）．他们引进了两对伴随函子ＰＢ┤ＮＢ与ｍ┤ｍ，此处ｍ：ＡＢ是固定映射，ＰＢ：ＨＢＨＢ与ｍ：ＨＡＨＢ是函子．我们在［２］中引进了分裂的范畴纤维化Ｌ：ＨｂＨＢ，并且证明了Ｌ┤Ｊ，Ｊ┤Ｌ．本文首先将ＰＢ┤ＮＢ推广到ＰＢｂ┤ＮＢｂ＃，其中ｂ：ＢＢ是任一固定映射，并且我们还得到涉及迹同伦范畴Ｈｂ与Ｈｂ的两对伴随函子，此处Ｈｂ是Ｈｂ的对偶．特别，Ｎｂ┤Ｐｂ不同于ＰＢ┤ＮＢ．     

函子范畴的等价

本文建立了函子范畴等价的Ｍｏｒｉｔａ理论．考虑的主要问题是ｍｏｄＣ何时等价于ｍｏｄＣ′及这些等价条件．同时定义了函子范畴的双模和函子张量积，并刻画了等价函子．     

三角范畴的coherent函子范畴的recollement

文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement.     

基于Ω-左R-子模范畴的伴随性

给出了Ω-左R-子模范畴的概念,研究了一对诱导函子,证明了诱导函子的伴随性.     

Adjoint Functors and Representation Dimensions

We study the global dimensions of the coherent functors over two categories that are linked by a pair of adjoint functors. This idea is then exploited to compare the representation dimensions of two algebras. In particular, we show that if an Artin algebra is switched from the other, then they have the same representation dimension.     

Adjoint Functors and Triangulated Categories

We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These categories naturally fit into a framework of relative derived categories, and once we prove that there are decent resolutions of complexes, we are able to prove many familiar results in homological algebra.     

Adjoint and Frobenius Pairs of Functors for Corings

We investigate adjoint and Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting and in graded ring theory.     

Derived Functors of Inverse Limits Revisited

We prove, correct and extend several results of an earlier paperof ours (using and recalling several of our later papers) aboutthe derived functors of projective limit in abelian categories.In particular we prove that if C is an abelian category satisfyingthe Grothendieck axioms AB3 and AB4* and having a set of generatorsthen the first derived functor of projective limit vanisheson so-called Mittag-Leffler sequences in C. The recent examplesgiven by Deligne and Neeman show that the condition that thecategory has a set of generators is necessary. The conditionAB4* is also necessary, and indeed we give for each integerm 1 an example of a Grothendieck category C_m and a Mittag-Lefflersequence in C_m for which the derived functors of its projectivelimit vanish in all positive degrees except m. This leads toa systematic study of derived functors of infinite productsin Grothendieck categories. Several explicit examples of theapplications of these functors are also studied.     

双诱导映射(L)集合范畴的幂对象及子对象分类子探讨

引入双诱导映射(L)集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构.     

Adjoint Method for an Inverse Problem of CCPF Model

The problem for determining the exchange rate function of 2D CCPF model by measurements on the partial boundary is considered and solved as one PDE-constraint optimization problem. The optimal variant is the minimum of a cost functional that quantifies the difference between the measurements and the exact solutions. Gradientbased algorithm is used to solve this optimization problem. At each step, the derivative of the cost functional with respect to the exchange rate function is calculated and only one forward solution and one adjoint solution are needed. One method based on the adjoint equation is developed and implemented. Numerical examples show the efficiency of the adjoint method.     

伴随型Renner幺半群的阶

In this paper, we find the orders of the Renner monoids for J-irreducible monoids K＊p（G）, where G is a simple algebraic group over an algebraically closed field K, and p ： G → GL（V） is the irreducible representation associated with the highest root.     

Inverse Design of a Displacement Body with a discrete Adjoint Method

Wind tunnel experiments at German Aerospace Center (DLR) for the analysis of laminar turbulent transition showed that a nearly linearly decreasing pressure distribution at a plate is able to suppress Tollmien-Schlichting boundary layer instabilities. Nevertheless, this pressure distribution leads to the growth of nonlinear instabilities in cross flow direction. Within up-ucoming research projects at DLR it is intended to further investigate this cross flow boundary layer instabilities. The experimental setup consists of a flat plate, a displacement body mounted above the plate and an additional supporting wing. The supporting wing prevents flow separations. The displacement body imposes the particular pressure distribution upon the upper side of the plate. However, contour and position of the displacement body is not known by detail. Therefore, the given pressure distribution is to be recreated by an inverse design procedure. The task can be seen as a design optimisation to a given pressure function. To provide a fast evaluation the discrete adjoint method of the TAU-Code is used. The problem's cost function is regarded as the residual of the current and the target pressure. (© 2013 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)