for Journals by Title or ISSN for Articles by Keywords help

Publisher: Springer-Verlag (Total: 2355 journals)

 Applied Categorical Structures   [SJR: 0.361]   [H-I: 21]   [2 followers]  Follow         Hybrid journal (It can contain Open Access articles)    ISSN (Print) 1572-9095 - ISSN (Online) 0927-2852    Published by Springer-Verlag  [2355 journals]
• Grothendieck Categories as a Bilocalization of Linear Sites
• Authors: Julia Ramos González
Abstract: Abstract Let k be a commutative ring. We prove that the 2-category $$\mathsf {Grt}_k$$ of Grothendieck abelian k-linear categories with colimit preserving k-linear functors and k-linear natural transformations is a bicategory of fractions in the sense of Pronk [15] of the 2-category $$\mathsf {Site}_{k,\mathsf {cont}}$$ of k-linear sites with k-linear continuous functors and k-linear natural transformations. In complete analogy, we prove that the conjugate-opposite 2-category of the 2-category $$\mathsf {Topoi}_k$$ of Grothendieck abelian k-linear categories with k-linear geometric morphisms and k-linear morphisms between them is a bicategory of fractions of the 2-category $$\mathsf {Site}_k$$ of k-linear sites with k-linear morphisms of sites and k-linear natural transformations. In addition, we show how the first statement can potentially be used to make the tensor product of Grothendieck categories from [12] into a bi-monoidal structure on $$\mathsf {Grt}_k$$ .
PubDate: 2018-01-12
DOI: 10.1007/s10485-017-9511-1

• Semisimple and G -Equivariant Simple Algebras Over Operads
• Authors: Pavel Etingof
Pages: 965 - 969
Abstract: Abstract Let G be a finite group. There is a standard theorem on the classification of G-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of G). Namely, such an algebra is of the form A=Fun H (G,B), where H is a subgroup of G, and B is a simple algebra of the corresponding type with an H-action. We explain that such a result holds in the generality of algebras over a linear operad. This allows one to extend Theorem 5.5 of Sciarappa (arXiv:1506.07565) on the classification of simple commutative algebras in the Deligne category Rep(S t ) to algebras over any finitely generated linear operad.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9435-1
Issue No: Vol. 25, No. 6 (2017)

• The Characteristic Morphism of an Algebra
• Authors: Bing Wang; Yuan Yao; Yu Ye
Pages: 971 - 990
Abstract: Abstract This paper is motivated by the observation that the characteristic morphism of an algebra relates to certain smoothness condition closely. We show that for an algebra A of finite global dimension, if the characteristic morphism is injective, then A has finite Hochschild cohomology dimension. In particular, if A is semi-simple, then the characteristic morphism is injective if and only if A is homologically smooth. Moreover, the characteristic morphism of a finite dimensional path algebra is injective. Recall that a path algebra is always homologically smooth.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9437-z
Issue No: Vol. 25, No. 6 (2017)

• Curved Homotopy Coalgebras
• Authors: Volodymyr Lyubashenko
Pages: 991 - 1036
Abstract: Abstract We describe the category of homotopy coalgebras, concentrating on properties of relatively cofree homotopy coalgebras, morphisms and coderivations from an ordinary coalgebra to a relatively cofree homotopy coalgebra, morphisms and coderivations between coalgebras of latter type. Cobar- and bar-constructions between counit-complemented curved coalgebras, unit-complemented curved algebras and curved homotopy coalgebras are described. Using twisting cochains an adjunction between cobar- and bar-constructions is derived under additional assumptions.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9440-4
Issue No: Vol. 25, No. 6 (2017)

• On the Structure of Zero Morphisms in a Quasi-Pointed Category
• Authors: Amartya Goswami; Zurab Janelidze
Pages: 1037 - 1043
Abstract: Abstract A quasi-pointed category in the sense of D. Bourn is a finitely complete category $$\mathcal {C}$$ having an initial object such that the unique morphism from the initial object to the terminal object is a monomorphism. When instead this morphism is an isomorphism, we obtain a (finitely complete) pointed category, and as it is well known, the structure of zero morphisms in a pointed category determines an enrichment of the category in the category of pointed sets. In this note we examine quasi-pointed categories through the structure formed by the zero morphisms (i.e. the morphisms which factor through the initial object), with the aim to compare this structure with an enrichment in the category of pointed sets.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9462-y
Issue No: Vol. 25, No. 6 (2017)

• Quantales, Generalised Premetrics and Free Locales
• Authors: J. Bruno; P. Szeptycki
Pages: 1045 - 1058
Abstract: Abstract Premetrics and premetrisable spaces have been long studied and their topological interrelationships are well-understood. Consider the category Pre of premetric spaces and ðœ– − δ continuous functions as morphisms. The absence of the triangle inequality implies that the faithful functor Pre→Top - where a premetric space is sent to the topological space it generates - is not full. Moreover, the sequential nature of topological spaces generated from objects in Pre indicates that this functor is not surjective on objects either. Developed from work by Flagg and Weiss, we illustrate an extension Pre↪P together with a faithful and surjective on objects left adjoint functor P→Top as an extension of Pre→Top. We show this represents an optimal scenario given that Pre→Top preserves coproducts only. The objects in P are metric-like objects valued on value distributive lattices whose limits and colimits we show to be generated by free locales on discrete sets.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9465-8
Issue No: Vol. 25, No. 6 (2017)

• A Natural Extension of the Universal Enveloping Algebra Functor to Crossed
Modules of Leibniz Algebras
• Authors: Rafael Fernández-Casado; Xabier García-Martínez; Manuel Ladra
Pages: 1059 - 1076
Abstract: Abstract The universal enveloping algebra functor between Leibniz and associative algebras defined by Loday and Pirashvili is extended to crossed modules. We prove that the universal enveloping crossed module of algebras of a crossed module of Leibniz algebras is its natural generalization. Then we construct an isomorphism between the category of representations of a Leibniz crossed module and the category of left modules over its universal enveloping crossed module of algebras. Our approach is particularly interesting since the actor in the category of Leibniz crossed modules does not exist in general, so the technique used in the proof for the Lie case cannot be applied. Finally we move on to the framework of the Loday-Pirashvili category $$\mathcal {LM}$$ in order to comprehend this universal enveloping crossed module in terms of the Lie crossed modules case.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9472-9
Issue No: Vol. 25, No. 6 (2017)

• Proximity Biframes and Nachbin Spaces
• Authors: Guram Bezhanishvili; Patrick J. Morandi
Pages: 1077 - 1095
Abstract: Abstract In our previous paper, in order to develop the pointfree theory of compactifications of ordered spaces, we introduced the concept of a proximity on a biframe as a generalization of the concept of a strong inclusion on a biframe. As a natural next step, we introduce the concept of a proximity morphism between proximity biframes. Like in the case of de Vries algebras and proximity frames, we show that the proximity biframes and proximity morphisms between them form a category PrBFrm in which composition is not function composition. We prove that the category KRBFrm of compact regular biframes and biframe homomorphisms is a proper full subcategory of PrBFrm that is equivalent to PrBFrm. We also show that PrBFrm is equivalent to the category PrFrm of proximity frames, and give a simple description of the concept of regularization using the language of proximity biframes. Finally, we describe the dual equivalence of PrBFrm and the category Nach of Nachbin spaces, which provides a direct way to construct compactifications of ordered spaces.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9476-5
Issue No: Vol. 25, No. 6 (2017)

• When Boole Commutes with Hewitt and Lindelöf
• Authors: Themba Dube
Pages: 1097 - 1111
Abstract: Abstract Let L be a completely regular frame, $$\mathfrak {B}L$$ be its Booleanization, υ L be its Hewitt realcompactification, and λ L its Lindelöf coreflection. We characterize those L for which $$\mathfrak {B}(\upsilon L)\cong \upsilon (\mathfrak {B}L)$$ , and those for which $$\mathfrak {B}(\lambda L)\cong \lambda (\mathfrak {B}L)$$ . In the first case they are precisely those in which every prime ideal of the cozero part with a dense join has a countable subset with a dense join. In the latter case, they are exactly those in which every subset of the frame with a dense join has a countable subset with a dense join.
PubDate: 2017-12-01
DOI: 10.1007/s10485-016-9479-2
Issue No: Vol. 25, No. 6 (2017)

• Bousfield Localisations along Quillen Bifunctors
• Authors: Javier J. Gutiérrez; Constanze Roitzheim
Pages: 1113 - 1136
Abstract: Abstract Consider a Quillen adjunction of two variables between combinatorial model categories from $$\mathcal {C}\times \mathcal {D}$$ to $$\mathcal {E}$$ , a set $$\mathcal {S}$$ of morphisms in $$\mathcal {C}$$ and a set $$\mathcal {K}$$ of objects in $$\mathcal {C}$$ . We prove that there is a localised model structure $$L_{\mathcal {S}}\mathcal {E}$$ on $$\mathcal {E}$$ , where the local objects are the $$\mathcal {S}$$ -local objects in $$\mathcal {E}$$ described via the right adjoint. Dually, we show that there is a colocalised model structure $$C_{\mathcal {K}}\mathcal {E}$$ on $$\mathcal {E}$$ , where the colocal equivalences are the $$\mathcal {K}$$ -colocal equivalences in $$\mathcal {E}$$ described via the right adjoint. These localised and colocalised model structures generalise left and right Bousfield localisations of simplicial model categories, Barnes and Roitzheim’s familiar model structures, and Barwick’s enriched left and right Bousfield localisations.
PubDate: 2017-12-01
DOI: 10.1007/s10485-017-9485-z
Issue No: Vol. 25, No. 6 (2017)

• Normalized Bicategories Internal to Groups and more General Mal’tsev
Categories
• Authors: Nelson Martins-Ferreira
Pages: 1137 - 1158
Abstract: Abstract A detailed description of a normalized internal bicategory in the category of groups is derived from the general description of internal bicategories in weakly Mal’tsev categories endowed with a V-Mal’tsev operation in the sense of Pedicchio. The example of bicategory of paths in a topological abelian group is presented.
PubDate: 2017-12-01
DOI: 10.1007/s10485-017-9486-y
Issue No: Vol. 25, No. 6 (2017)

• Spectral Reflections of Topological Spaces
• Authors: Niels Schwartz
Pages: 1159 - 1185
Abstract: Abstract The category Spec of spectral spaces is a reflective subcategory of the category Top of topological spaces. We compare properties of topological spaces, or of continuous maps between topological spaces, with properties of their spectral reflections. It is shown that several classical constructions with topological spaces can be produced using spectral reflections.
PubDate: 2017-12-01
DOI: 10.1007/s10485-017-9488-9
Issue No: Vol. 25, No. 6 (2017)

• The Modular Envelope of the Cyclic Operad $$\mathcal {A} ss$$ A s s
• Authors: Martin Doubek
Pages: 1187 - 1198
Abstract: Abstract We give a direct combinatorial proof that the modular envelope of the cyclic operad $$\mathcal {A} ss$$ is the modular operad of (the homeomorphism classes of) 2D compact surfaces with boundary with marked points.
PubDate: 2017-12-01
DOI: 10.1007/s10485-017-9491-1
Issue No: Vol. 25, No. 6 (2017)

• Villamayor–Zelinsky Sequence for Symmetric Finite Tensor Categories
• Authors: Bojana Femić
Pages: 1199 - 1228
Abstract: Abstract We prove that if a finite tensor category $${\mathcal C}$$ is symmetric, then the monoidal category of one-sided $${\mathcal C}$$ -bimodule categories is symmetric. Consequently, the Picard group of $${\mathcal C}$$ (the subgroup of the Brauer–Picard group introduced by Etingov–Nikshych–Gelaki) is abelian in this case. We then introduce a cohomology over such $${\mathcal C}$$ . An important piece of tool for this construction is the computation of dual objects for bimodule categories and the fact that for invertible one-sided $${\mathcal C}$$ -bimodule categories the evaluation functor involved is an equivalence, being the coevaluation functor its quasi-inverse, as we show. Finally, we construct an infinite exact sequence à la Villamayor–Zelinsky for $${\mathcal C}$$ . It consists of the corresponding cohomology groups evaluated at three types of coefficients which repeat periodically in the sequence. We compute some subgroups of the groups appearing in the sequence.
PubDate: 2017-12-01
DOI: 10.1007/s10485-017-9492-0
Issue No: Vol. 25, No. 6 (2017)

• Approximate Injectivity
• Authors: J. Rosický; W. Tholen
Abstract: Abstract In a locally $$\lambda$$ -presentable category, with $$\lambda$$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $$\lambda$$ -presentable, are known to be characterized by their closure under products, $$\lambda$$ -directed colimits and $$\lambda$$ -pure subobjects. Replacing the strict commutativity of diagrams by “commutativity up to $$\mathcal {\varepsilon }$$ ”, this paper provides an “approximate version” of this characterization for categories enriched over metric spaces. It entails a detailed discussion of the needed $$\mathcal {\varepsilon }$$ -generalizations of the notion of $$\lambda$$ -purity. The categorical theory is being applied to the locally $$\aleph _1$$ -presentable category of Banach spaces and their linear operators of norm at most 1, culminating in a largely categorical proof for the existence of the so-called Gurarii Banach space.
PubDate: 2017-12-19
DOI: 10.1007/s10485-017-9510-2

• Rickart and Dual Rickart Objects in Abelian Categories: Transfer via
Functors
• Authors: Septimiu Crivei; Gabriela Olteanu
Abstract: Abstract We study the transfer of (dual) relative Rickart properties via functors between abelian categories, and we deduce the transfer of (dual) relative Baer property. We also give applications to Grothendieck categories, comodule categories and (graded) module categories, with emphasis on endomorphism rings.
PubDate: 2017-11-27
DOI: 10.1007/s10485-017-9509-8

• Ladders of Compactly Generated Triangulated Categories and Preprojective
Algebras
• Authors: Nan Gao; Chrysostomos Psaroudakis
Abstract: Abstract In this paper we characterize when a recollement of compactly generated triangulated categories admits a ladder of some height going either upwards or downwards. As an application, we show that the derived category of the preprojective algebra of Dynkin type $$\mathbb {A}_n$$ admits a periodic infinite ladder, where the one outer term in the recollement is the derived category of a differential graded algebra.
PubDate: 2017-11-21
DOI: 10.1007/s10485-017-9508-9

• Strictly Zero-Dimensional Biframes and a Characterisation of Congruence
Frames
• Authors: Graham Manuell
Abstract: Abstract Strictly zero-dimensional biframes were introduced by Banaschewski and Brümmer as a class of strongly zero-dimensional biframes including the congruence biframes. We consider the category of strictly zero-dimensional biframes and show it is both complete and cocomplete. We characterise the extremal epimorphisms in this category and explore the special position that congruence biframes hold in it. Finally, we provide an internal characterisation of congruence biframes, and hence, of congruence frames.
PubDate: 2017-11-09
DOI: 10.1007/s10485-017-9507-x

• Maximal Ideals in Module Categories and Applications
• Authors: Manuel Cortés-Izurdiaga; Alberto Facchini
Abstract: Abstract We study the existence of maximal ideals in preadditive categories defining an order $$\preceq$$ between objects, in such a way that if there do not exist maximal objects with respect to $$\preceq$$ , then there is no maximal ideal in the category. In our study, it is sometimes sufficient to restrict our attention to suitable subcategories. We give an example of a category $$\mathbf {C}_F$$ of modules over a right noetherian ring R in which there is a unique maximal ideal. The category $$\mathbf {C}_F$$ is related to an indecomposable injective module F, and the objects of $$\mathbf {C}_F$$ are the R-modules of finite F-rank.
PubDate: 2017-10-30
DOI: 10.1007/s10485-017-9505-z

• Open Maps of Involutive Quantales
• Authors: Pedro Resende
Abstract: Abstract By a map $$p:Q\rightarrow X$$ of involutive quantales is meant a homomorphism $$p^*:X\rightarrow Q$$ . Calling a map p weakly open if $$p^*$$ has a left adjoint $$p_!$$ which satisfies the Frobenius reciprocity condition (i.e., $$p_!$$ is a homomorphism of X-modules), we say that p is open if it is stably weakly open. We also study a two-sided version, FR2, of the Frobenius reciprocity condition, and show that the weakly open surjections that satisfy FR2 are open. Maps of the latter kind arise in the study of Fell bundles on groupoids.
PubDate: 2017-10-27
DOI: 10.1007/s10485-017-9506-y

JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327

Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs