单子和余单子的缠绕结构

研究单子和余单子的缠绕结构和缠绕模以及与代数和余代数的缠绕结构和缠绕模之间的关系,定义了余单子的类群元,得到了一些有意义的结论.最后构造了缠绕模范畴上的两个函子,并证明了它们是伴随函子.     

同调函子的一个应用

本文利用同调函子给出了交换的 Noether环上单模的投射性与内射性是等价的一个简单证明 ,同时推广了文 [1]的一些结论     

张量余单子的余半单性与余辫子结构

本文研究了张量余单子的余半单性和余表示范畴,给出了其余半单性和余可裂性的等价性定理.并证明了其余表示范畴是辫子范畴当且仅当该张量余单子是余辫子的.作为应用研究了张量型Hom-双代教的Hom-余模范畴的半单性和辫子结构.     

不可解Lie代数完备的等价条件

目的是给出特征零域上的有限维不可解L ie代数L完备的等价条件.主要是讨论L的所有导子都是内导子的充要条件.根据L的L ev i分解式(即L分解成它的根基R和另一个半单子代数S的空间直和),先在一定条件下将根基R上的导子扩充为L上的导子,给出了L完备的一个必要条件,然后又将L上的导子诱导到半单子代数S上,利用半单子代数S的完备性,证明了上述必要条件也是L完备的充分条件.     

模范畴与余模范畴之间的等价

本文研究了环上模范畴与余环上余模范畴.运用可裂叉与余可分余环的性质,得到了以上两个范畴等价的一些充分条件,从而推广了文献[6]中的一些结果.

Abstract：

In this article,we consider the categories of modules over rings and categories of comodules over corings.By properties of split forks and coseparable corings,we get some sufficient conditions for the equivalence between above two categories.As a consequence,we generalize some results in[6].     

集合范畴上超滤函子的余代数

定义了集合范畴上的超滤函子F_u(-),并研究了相关性质.包括函子F_u(-)在有限集上保拉回,一个集合的子集成为F_u-子余代数的充要条件,以及两个余代数之间的态射是F_u-余代数同态的充要条件,子集成为子余代数的充要条件,最后以拓扑空间作为F_u-余代数的具体实例,研究了拓扑空间的连续映射与超滤函子的余代数同态之间的关系.     

非齐次非线性扩散方程的高维不变子空间和等价变换

利用与不变子空间方法相关的等价变换和变换v=enu给出了非齐次非线性扩散方程的等价方程,并得到了等价方程的高维不变子空间.最后给出一些例子构造了非齐次非线性扩散方程的广义泛函分离变量解.     

FI代数的模糊滤子

在FI代数(Fuzzy蕴涵代数)上引入了模糊滤子的概念并给出了其等价刻画；探讨了由模糊滤子所诱导的同余关系及商代数,证明了由模糊滤子所诱导的同余关系是完备分配格.     

强DEA有效性的探讨

给出了有关强DEA有效(C2R或C2GS2)的一些必要条件,判断方法及等价的命题,特别是给出了其存在性定理、及有关强DEA有效与扩展DEA有效等价的定理.     

模糊理论与Kleisli范畴

运用范畴论的观点和语言,讨论了几种真值集不同的模糊集,得出它们都是特殊的模糊理论.更进一步,指出了模糊理论所对应的范畴与由模糊理论诱导的单子所构造的Kleisli范畴的等价关系.最后,通过一个实例,描述了伴随函子诱导的单子,并构造了相应的Kleisli范畴,指出了Kleisli范畴在模糊理论中的应用.     

A note on triangulated monads and categories of module spectra

Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg–Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is ‘essentially monadic’, i.e. becomes monadic after performing the two evident necessary operations of taking the Verdier quotient by the kernel of the right adjoint and idempotent completion. In this sense, the monad itself is ‘intrinsically monadic’. It follows that for any highly structured ring spectrum, its category of homotopy (aka naïve) modules is triangulated if and only if it is equivalent to its category of highly structured (aka strict) modules.     

Polynomial functors and opetopes

We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation and explicit computation. To relate our definition to the classical definition, we recast the Baez-Dolan slice construction for operads in terms of polynomial monads: our opetopes appear naturally as types for polynomial monads obtained by iterating the Baez-Dolan construction, starting with the trivial monad. We show that our notion of opetope agrees with Leinster's. Next we observe a suspension operation for opetopes, and define a notion of stable opetopes. Stable opetopes form a least fixpoint for the Baez-Dolan construction. A final section is devoted to example computations, and indicates also how the calculus of opetopes is well-suited for machine implementation.     

Green fields

We introduce Green fields, as commutative Green biset functors with no non-trivial ideals. We state some of their properties and give examples of known Green biset functors which are Green fields. Among the properties, we prove some criterions ensuring that a Green field is semisimple. Finally, we describe a type of Green field for which its category of modules is equivalent to a category of vector spaces over a field.     

SOME CONSISTENT RESULTS ON LINDELOFNESS AND CALIBRE

This paper gives some topological propositions which are equivalent to the continuum hypothesis. The following results are also given: In the class of 1-st countable Hansdoff spacess the existence of space which has calibre $\[({\omega _1},\omega )\]$ but no calibre $\[{\omega _1}\]$ is equivalent to the existence of space which has calibre $\[({\omega _1},\omega )\]$ but is not point-countablely Lindelog, the existence of space which has calibre $\[{\omega _2}\]$ but is not separable is equivalent to the existence of space which has calibre $\[{\omega _1}\]$ but is not Lindelof, too.     

数学分析中的四个等价命题

围绕数学分析的极限理论,给出四个等价命题,包括海涅定理的推广、介值性的刻划、一致连续性的刻划和级数收敛的刻划,相应指出它们在理论上的应用.     

Exakte Paare und Kettenkomplexe

It is shown that the category of chain-complexes (of abelian groups) can be embedded as a full reflexive subcategory in the categoryEC of semi-regular exact couples. This situation gives rise to a monad on the categoryEC which has similar properties as the infinite symmetric product [4]. We use this monad and the process of Kan-extensions to study connections between the homology- and homotopyfunctors defined onEC. Furthermore we investigate homotopy-notions inEC and demonstrate that those constructed by W.S. Massey [9] and D.W. Kahn [6] are equivalent.     

Morita Contexts as Lax Functors

Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita contexts to be seen as special cases of general results about lax functors. The account we give of this could serve as an introduction to lax functors for those familiar with the theory of monads. We also prove some very general results along these lines relative to a given 2-comonad, with the classical case of ordinary monad theory amounting to the case of the identity comonad on Cat.     

Adams完备化与局部化的等价性

本文在一般的范畴上考虑了幂等对与Ａｄａｍｓ完备化的关系，证明了它们是等价的     

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).