On Generation and Implicit Partial Operations in Locally Presentable Categories

In a locally presentable category seen as a concrete category of structures, we describe the subobjects (resp. the regular, strong subobjects) generated by a subset, first in terms of closure under certain types of implicit partial operations, and then in syntactic terms. This characterizes in particular the locally presentable categories in which various sorts of monos and epis coincide.     

Model Categories in Algebraic Topology

This survey of model categories and their applications in algebraic topology is intended as an introduction for non homotopy theorists, in particular category theorists and categorical topologists. We begin by defining model categories and the homotopy-like equivalence relation on their morphisms. We then explore the question of compatibility between monoidal and model structures on a category. We conclude with a presentation of the Sullivan minimal model of rational homotopy theory, including its application to the study of Lusternik–Schnirelmann category.     

On Pure Quotients and Pure Subobjects

In the theory of accessible categories, pure subobjects, i.e. filtered colimits of split monomorphisms, play an important role. Here we investigate pure quotients, i.e., filtered colimits of split epimorphisms. For example, in abelian, finitely accessible categories, these are precisely the cokernels of pure subobjects, and pure subobjects are precisely the kernels of pure quotients.     

Flow does not Model Flows up to Weak Dihomotopy

We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of a locally presentable version of the category of flows. Mathematics Subject Classifications (2000) 55P99, 68Q85, 18A32, 55U35.     

Coherent Functors and Covariantly Finite Subcategories

Given a locally presentable additive category A, we study a class of covariantly finite subcategories which we call definable. A definable subcategory arises from a set of coherent functors F _i on A by taking all objects X in A such that F _i X=0 for all i. We give various characterizations of definable subcategories, demonstrating that all covariantly finite subcategories which arise in practice are of this form. This is based on a filtration of the category of all coherent functors on A.     

Triangulated Categories and the Ziegler Spectrum

The relationship between the Ziegler spectrum of (the category of modules over) a ring and the Ziegler spectrum of its derived category is investigated. Over von Neumann regular rings and hereditary rings the spectrum of the derived category is a disjoint union of copies of the spectrum of the ring but in general there are further indecomposable pure-injective objects of the derived category. Presented by A. Verschoren Mathematics Subject Classifications (2000) Primary: 18E30; secondary: 03C60.     

On Certain Integral Tensor Categories and Integral TQFTs

We construct certain tensor categories that are dominated by finitely many simple objects. Objects in these categories are modules over some ring of algebraic integers. We show how to obtain TQFTs over algebraic integers from these categories.     

拟平移不变拓扑锥与局部β-凸空间的共轭锥

[1]中提出的局部β-凸分析问题从本质上来说是一种非线性凸分析问题 .为了刻画和研究局部β-凸空间 X的共轭锥 X*β ,本文在抽象凸锥上引进具有拟平移不变性质的拓扑结构 ,第一部分重点研究局部生成拓扑锥与赋范拓扑锥 .第二部分将这两种拓扑锥的一般理论应用于局部 β - 凸空间的共轭锥 X*β 的研究 ,得到 (X*β,U| A)与 (X*β ,‖‖ )的局部生成性与完备性定理等 .     

Directed Algebraic Topology,Categories and Higher Categories

Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental n-groupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applications have been mostly developed in the theory of concurrency. Unexpected links with noncommutative geometry and the modelling of biological systems have emerged. Work partially supported by MIUR Research Projects.     

Algebraic Operations and Generic Effects

Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an Ob C-indexed family of operations of the form _x :(Tx) ^v (Tx) ^w provides semantics for algebraic operations on the computational -calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. In particular, we define the notion of generic effect and show that to give a generic effect is equivalent to giving an algebraic operation. We further show how the usual monadic semantics of the computational -calculus extends uniformly to incorporate generic effects. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with effects.     

The Osofsky-Smith Theorem for Modular Lattices,and Applications (II)

This is the second part of the paper with the same title published in Communications in Algebra in 2011. It contains applications of the Latticial Osofsky–Smith Theorem to Grothendieck categories and module categories equipped with a torsion theory. Various many different meanings spread in the literature of the relative concepts with respect to a hereditary torsion theory τ on Mod-R like τ-essential submodule, τ-complement submodule, τ-CS module, etc. are also discussed.     

Multiple Categories: The Equivalence of a Globular and a Cubical Approach

We show the equivalence of two kinds of strict multiple category, namely the well-known globular ω-categories, and the cubical ω-categories with connections.     

Coherent Sheaves on P1: their Families and their Deformations Related to a Behavioral Approach to Singular Systems

Recently, Lomadze, Ravi, Rosenthal and Schumacher gave a natural and geometrically meaningful one-to-one correspondence between abstract linar behaviors and coherent sheaves on P ¹. Motivated by their result, here we give a complete picture of the deformation theory of coherent sheaves on P ¹. We use our results to study deformations over the field R obtaining a connectedness result for the real locus of the algebraic parameter spaces.