T-余单子可分的等价条件

文章类似于A-上环(coring)给出T-余单子(comonad)的一些性质(这里A是代数,T是单子(monad)).首先定义了实(firm)单子等相关概念,其次研究了与Frobenius函子等价的两个命题,最后给出了与余单子可分等价的五个命题.     

余拟三角双单子

给出了余卷积、余中心元、余扭元、余拟三角双单子的定义,并在单子T的线性型和T-模范畴的辫子之间及单子T的余扭元和T-模范畴的扭元之间建立了双射.     

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

本文研究了环上模范畴与余环上余模范畴.运用可裂叉与余可分余环的性质,得到了以上两个范畴等价的一些充分条件,从而推广了文献[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].     

模糊理论与Kleisli范畴

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

超滤函子余代数范畴

研究了超滤函子余代数范畴set_(F_u)的乘积和余积问题.首先构造了集合乘积上的超滤,讨论集合乘积上超滤的存在形式;接着利用超滤函子的性质给出了范畴set_(F_u)的有限乘积以及任意余积构造;最后证明了范畴set_(F_u)的终对象存在.改进了Gumm关于滤子函子的研究结果,深化了相关文献关于超滤函子余代数的研究.     

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

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

张量余单子与张量范畴

设是一个张量范畴,g和F均为上的张量余单子,p是一个余单子分配率.本文从FG的张量余单子结构和2-范畴的角度,描述了双余模范畴的张量结构,并给出了其做成张量范畴的一些充要条件.’     

蕴涵格的滤子及同余关系

在蕴涵格中引和了蕴涵滤子的概念，讨论了蕴涵滤子的一些基本性质，并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格，以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。     

余剩余格及其应用

在偏序集上引入了余伴随对（＋,-）的概念,并研究了它在格上的若干性质,提出了余剩余格理论,最后在此基础上给出了MV-代数的一个等价刻画。     

双交叉积与余循环变形

本文将证明一个双交叉积ＸＡ为ＸＡ的余循环变形,当且仅当存在到的一个 Ｍｍｏｎｏｉｄａｌ函子,当且仅当存在到的一个 Ｍｏｕｌｄａｌ函子．     

Dual Entwining Structures and Dual Entwined Modules

In this note we introduce and investigate the concepts of dual entwining structures and dual entwined modules. This generalizes the concepts of dual Doi–Koppinen structures and dual Doi–Koppinen modules introduced (in the infinite case over rings) by the author in his dissertation. Presented by A. VerschorenMathematics Subject Classifications (2000) 16W30, 18E15.Jawad Y. Abuhlail: Current address: Department of Mathematical Sciences, P.O. Box 5046, King Fahd University of Petroleum & Minerals, 31261 Dhahran, Saudi Arabia.     

Functional Representations of Lawson Monads

We introduce a class of Lawson monads and show that these monads have a functional representation. A characterisation of such a representation for the inclusion hyperspace monad is given.     

Group Entwining Structures and Group Coalgebra Galois Extensions

Abstract

The notions of group coalgebra Galois extension and group entwining structure are defined. It is proved that any group coalgebra Galois extension induces a unique group-entwining map ψ = {ψ_{α, β}}_{α, β∈π} compatible with the right group coaction, generalizing the recent work of Brzeziński and Hajac [Brzeziński, T., Hajac, P. M. (1999). Coalgebra extensions and algebra coextensions of Galois type. Comm. Algebra 27:1347–1368].     

Some Remarks on Finitary and Iterative Monads

For every locally finitely presentable category A we introduce finitary Kleisli triples on A and show that they bijectively correspond to finitary monads on A. We illustrate this on free monads and free iterative monads.     

One-point extension and recollement

This paper is devoted to studying the recollement of the categories of finitely generated modules over finite dimensional algebras. We prove that for algebras A, B and C, if A-mod admits a recollement relative to B-mod and C-mod, then A[R]-mod admits a recollement relative to B[S]-mod and C-mod, where A[R]and B[S]are the one-point extensions of A by R and of B by S.     

Monads on Composition Graphs

Collections of objects and morphisms that fail to form categories, inasmuch as the expected composites of two morphisms need not always be defined, were introduced in [14,15] under the name composition graphs. In [14,16], notions of adjunction and weak adjunction for composition graphs are proposed. Building on these definitions, we now introduce a concept of monads for composition graphs and show that the usual correspondence between adjunctions and monads remains correct, i.e. that (weak) adjunctions give rise to monads and that all monads are induced by adjunctions. Monads are described in terms of natural transforms as well as in terms of Kleisli triples, which seem to be better suited in the absence of associativity. The realization of a monad by an adjunction relies on a generalization of the Kleisli construction to composition graphs; on the other hand, the Eilenberg–Moore construction produces only a weak adjunction and admits comparison functors from weak adjunctions. As a first nontrivial example, we determine the algebras of the word monad on the composition graph of full morphisms between sets with a distinguished subset.     

Monads in topology

Let T be a submonad of the ultrafilter monad β and let G be a subfunctor of the filter functor. The T-algebras are topological spaces whose closed sets are the subalgebras and form thereby an equationally definable full subcategory of topological spaces. For appropriate T, countably generated free algebras provide ZFC examples of separable, Urysohn, countably compact, countably tight spaces which are neither compact nor sequential, and c² non-homeomorphic such examples exist. For any space X, say that U⊂X is G-open if U belongs to every ultrafilter in GX which converges in U. The full subcategory TopG consists of all G-spaces, those spaces in which every G-open set is open. Each TopG has at least these stability properties: it contains all Alexandroff spaces, and is closed under coproducts, quotients and locally closed subspaces. Examples include sequential spaces, P-spaces and countably tight spaces. T-algebras are characterized as the T-compact, T-Hausdorff T-spaces. Malyhin's theorem on countable tightness generalizes verbatim to TopG for any G⊂β. For r∈ω^?=βω\ω, let Gr be the subfunctor of β generated by r and let Tr be the generated submonad. If RK_? is the Rudin-Keisler preorder on ω^?, rRK_?s⇔Gr⊂Gs. Let c_? be the Comfort preorder and define the monadic preorderrm_?s to mean Tr⊂Ts. Then rRK_?s⇒rm_?s⇒rc_?s. It follows that there exist c² monadic types. For each such type Tr, the Tr-algebras form an equationally definable full subcategory of topological spaces with only one operation of countably infinite arity. No two of these varieties are term equivalent nor is any one a full subcategory of another inside topological spaces. Say that r∈ω^? is an m-point if Gr≠Tr. Under CH, m-points exist.     

分次环与模范畴上的伴随函子

设 G是有限群 ,R是强 G-分次环 .本文证明了 R Re-与 Hom Re(R,- )都是从模范畴 R - mod到 Re- mod的“纯量”限制函子 F的伴随函子 ,并且两个函子 R Re-和Hom Re(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.     

自由函子及其伴随函子

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