Prime Space of Lattice Implication Algebras

1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta…     

A Subspace of Hölder Space Consisting Only of Nonsmoothest Functions

In the first part of this paper, we give a complete answer to an old question of the geometric theory of Banach spaces; namely, we construct an infinite-dimensional closed subspace of Hölder space such that each function not identically zero is not smoother at each point than the nonsmoothest function in Hölder space. In the second part, using constructions from the first part, we show that the set of functions from Hölder space which are smoother on a set of positive measure than the nonsmoothest function is a set of first category in this space.     

Witt Groups of Derived Categories

We define the notion of cobordism of two objects in a trianulated category, and the Witt group of such category is defined as the Grothendieck group of cobordism classes of self-dual objects. We prove that the Witt group of a t-category is a free Abelian group generated by the classes of irreducible self-dual objects of its heart. In case of derived category of of complexes of sheaves on a stratified space with the middle-perversity t-structure, these irreducibles are local systems on the strata.     

Topological Fukaya categories of surfaces

We construct the topological Fukaya category of a surface with genus greater than one, making this model intrinsic to the topology of the surface. Instead of using the area form of the surface, we use an admissibility condition borrowed from Heegaard-Floer theory which ensures invariance under isotopy. In this paper we show finiteness of the moduli space using purely topological means and compute the Grothendieck group of the topological Fukaya category. We also show the faithfulness of MCG-action on the topological Fukaya category in this setup.     

广义度量空间和偏序集

广义度量空间和偏序集都具有函数空间．而函数空间的存在为数学构造和计算提供了很大方便．本文还讨论了广义度量空间和偏序集之间的相互转化问题．     

IFYTOP同构于IFYNS

首先引入了直觉Fuzzifying邻域系和直觉Fuzzifying邻域空间的概念,进而证明了直觉Puzzifying邻域空间范畴IFYNS同构于直觉Fuzzifying拓扑空间范畴IFYTOP.     

Geometric Realisations of Cubical Sets with Connections, and Classifying Spaces of Categories

We investigate the category of cubical sets with some additional degeneracies called connections. We prove that the realisation of a cubical set with connections is independent, up to homotopy, of whether we collapse those extra degeneracies or not and that any cubical set which is Kan admits connections. Using this type of cubical sets we define the cubical classifying space of a category and prove that this is equivalent to the simplicial one.     

Classification of dicoverings

The dicoverings of a “well pointed” d-space are classified as quotients of the universal dicovering space under congruence relations. We prove that the subcategory of d-spaces generated by the subcategory of directed cubes is equal to the category generated by the interval and the directed interval. Similarly, the category of topological spaces generated by simplices may be generated by the interval.     

纯奇点范畴中的Buchweitz定理

我们定义纯奇点范畴D_(psg)~b(R)为有界纯导出范畴D_(pur)~b(R)与纯投射模构成的有界同伦范畴K~b(■)的Verdier商,得到了纯奇点范畴D_(psg)~b(R)三角等价于相对纯投射模的Gorenstein范畴的稳定范畴■的一个充分必要条件.同时,还给出三角等价D_(psg)~b(R)≌D_(psg)~b(S)的充分条件,这里R和S都是环.     

The coherent homotopy category over a fixed space is a category of fractions

In this note we prove that the coherent homotopy category over a fixed space B with morphisms represented by certain homotopy commutative squares (see [8]) is isomorphic to the category obtained by formally inverting those maps in the category Top_B of topological spaces over B which are ordinary homotopy equivalences.     

Commuting Homotopy Limits and Smash Products

In general the processes of taking a homotopy inverse limit of a diagram of spectra and smashing spectra with a fixed space do not commute. In this paper we investigate under what additional assumptions these two processes do commute. In fact we deal with an equivariant generalization that involves spectra and smash products over the orbit category of a discrete group. Such a situation naturally occurs if one studies the equivariant homology theory associated to topological cyclic homology. The main theorem of this paper will play a role in the generalization of the results obtained by Bökstedt, Hsiang and Madsen about the algebraic K-theory Novikov Conjecture to the assembly map for the family of virtually cyclic subgroups.     

Epi-拓扑的某些性质

Throughout this paper R denotes the set of all real numbers.An extended real valued function j f X-[--oo, +oc] is called lower semicontinuouson X if fOr each real Q, {x' f(x) > o} is open in X. Clearly, f is lower semicontinuous ifand only if, its epigraph eghf = {(x, a) f f(x) 5 cr} is closed in X x R. f is caJ1ed proper ifit is somewhere finite, and its values lie in (--co, +oc]. We denote by LSC(X) the set of ajlproper lower semicontinuous functions.In the sequel, we identify lower se…     

The tensor product of Gorenstein-projective modules over category algebras

For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.     

Components of the Fundamental Category

In this article we study the fundamental category (Goubault and Raussen, 2002; Goubault, 2000) of a partially ordered topological space (Nachbin, 1965; Johnstone, 1982), as arising in, e.g., concurrency theory (Fajstrup et al., 1999). The algebra of dipaths modulo dihomotopy (the fundamental category) of such a po-space is essentially finite in a number of situations: We define a component category of a category of fractions with respect to a suitable system, which contains all relevant information. Furthermore, some of these simpler invariants are conjectured to also satisfy some form of a van Kampen theorem, as the fundamental category does (Goubault, 2002; Grandis, 2001). We end up by giving some hints about how to carry out some computations in simple cases.     

A minimum dimensional counterexample to Ganea's conjecture

A 7-dimensional CW-complex having Lusternik-Schnirelmann category equal to 2 is constructed. Using a divisibility phenomenon for Hopf invariants, it is proved that the Cartesian product of the constructed complex with a sphere of sufficiently large dimension also has category 2. This space hence constitutes the minimum dimensional known counterexample to Ganea's conjecture on the Lusternik-Schnirelmann category of spaces.     

Invariants of Directed Spaces

Directed spaces are the objects of study within directed algebraic topology. They are characterised by spaces of directed paths associated to a source and a target, both elements of an underlying topological space. The algebraic topology of these path spaces and their connections are studied from a categorical perspective. In particular, we study the preorder category associated to a directed space and various “quotient” categories arising from algebraic topological functors. Furthermore, we propose and study a new notion of directed homotopy equivalence between directed spaces.      

Closed Simplicial Model Structures for Exterior and Proper Homotopy Theory

The notion of exterior space consists of a topological space together with a certain nonempty family of open subsets that is thought of as a system of open neighbourhoods at infinity while an exterior map is a continuous map which is continuous at infinity. The category of spaces and proper maps is a subcategory of the category of exterior spaces.In this paper we show that the category of exterior spaces has a family of closed simplicial model structures, in the sense of Quillen, depending on a pair {T,T} of suitable exterior spaces. For this goal, for a given exterior space T, we construct the exterior T-homotopy groups of an exterior space under T. Using different spaces T we have as particular cases the main proper homotopy groups: the Brown–Grossman, erin–Steenrod, p-cylindrical, Baues–Quintero and Farrell–Taylor–Wagoner groups, as well as the standard (Hurewicz) homotopy groups.The existence of this model structure in the category of exterior spaces has interesting applications. For instance, using different pairs {T,T}, it is possible to study the standard homotopy type, the homotopy type at infinity and the global proper homotopy type.     

Generators and Dimensions of Derived Categories of Modules

Several years ago, Bondal, Rouquier, and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a perfect field has finite dimension. In this article, we study the dimension of the bounded derived category of finitely generated modules over a commutative Noetherian ring. The main result of this article asserts that it is finite over a complete local ring containing a field with perfect residue field. Our methods also give a ring-theoretic proof of the affine case of Rouquier's theorem.     

Weak Bialgebras and Monoidal Categories

We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlachányi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a weak bialgebra.     

Category and dimensions for cut-out sets

In this paper, we study the modified box dimensions of cut-out sets that belong to a positive, nonincreasing and summable sequence. Noting that the family of such sets is a compact metric space under the Hausdorff metric, we prove that the lower modified box dimension equals zero and the upper modified box dimension equals the upper box dimension for almost all cut-out set in the sense of Baire category.