for Journals by Title or ISSN for Articles by Keywords help
 Subjects -> MATHEMATICS (Total: 955 journals)     - APPLIED MATHEMATICS (82 journals)    - GEOMETRY AND TOPOLOGY (20 journals)    - MATHEMATICS (706 journals)    - MATHEMATICS (GENERAL) (43 journals)    - NUMERICAL ANALYSIS (22 journals)    - PROBABILITIES AND MATH STATISTICS (82 journals) MATHEMATICS (706 journals)                  1 2 3 4 | Last
 Showing 1 - 200 of 538 Journals sorted alphabetically Abakós       (Followers: 4) Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg       (Followers: 3) Academic Voices : A Multidisciplinary Journal       (Followers: 2) Accounting Perspectives       (Followers: 7) ACM Transactions on Algorithms (TALG)       (Followers: 15) ACM Transactions on Computational Logic (TOCL)       (Followers: 3) ACM Transactions on Mathematical Software (TOMS)       (Followers: 6) ACS Applied Materials & Interfaces       (Followers: 27) Acta Applicandae Mathematicae       (Followers: 1) Acta Mathematica       (Followers: 11) Acta Mathematica Hungarica       (Followers: 2) Acta Mathematica Scientia       (Followers: 5) Acta Mathematica Sinica, English Series       (Followers: 6) Acta Mathematica Vietnamica Acta Mathematicae Applicatae Sinica, English Series Advanced Science Letters       (Followers: 9) Advances in Applied Clifford Algebras       (Followers: 3) Advances in Calculus of Variations       (Followers: 2) Advances in Catalysis       (Followers: 5) Advances in Complex Systems       (Followers: 6) Advances in Computational Mathematics       (Followers: 18) Advances in Decision Sciences       (Followers: 3) Advances in Difference Equations       (Followers: 3) Advances in Fixed Point Theory       (Followers: 5) Advances in Geosciences (ADGEO)       (Followers: 13) Advances in Linear Algebra & Matrix Theory       (Followers: 2) Advances in Materials Sciences       (Followers: 14) Advances in Mathematical Physics       (Followers: 3) Advances in Mathematics       (Followers: 10) Advances in Numerical Analysis       (Followers: 4) Advances in Operations Research       (Followers: 12) Advances in Porous Media       (Followers: 5) Advances in Pure and Applied Mathematics       (Followers: 6) Advances in Pure Mathematics       (Followers: 5) Advances in Science and Research (ASR)       (Followers: 4) Aequationes Mathematicae       (Followers: 2) African Journal of Educational Studies in Mathematics and Sciences       (Followers: 5) African Journal of Mathematics and Computer Science Research       (Followers: 4) Afrika Matematika       (Followers: 1) Air, Soil & Water Research       (Followers: 11) AKSIOMA Journal of Mathematics Education       (Followers: 1) Al-Jabar : Jurnal Pendidikan Matematika Algebra and Logic       (Followers: 5) Algebra Colloquium       (Followers: 4) Algebra Universalis       (Followers: 2) Algorithmic Operations Research       (Followers: 5) Algorithms       (Followers: 11) Algorithms Research       (Followers: 1) American Journal of Computational and Applied Mathematics       (Followers: 5) American Journal of Mathematical Analysis American Journal of Mathematics       (Followers: 6) American Journal of Operations Research       (Followers: 5) American Mathematical Monthly       (Followers: 6) An International Journal of Optimization and Control: Theories & Applications       (Followers: 8) Analele Universitatii Ovidius Constanta - Seria Matematica       (Followers: 1) Analysis       (Followers: 2) Analysis and Applications       (Followers: 1) Analysis and Mathematical Physics       (Followers: 4) Analysis Mathematica Annales Mathematicae Silesianae Annales mathématiques du Québec       (Followers: 4) Annales UMCS, Mathematica       (Followers: 1) Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica Annali di Matematica Pura ed Applicata       (Followers: 1) Annals of Combinatorics       (Followers: 3) Annals of Data Science       (Followers: 11) Annals of Discrete Mathematics       (Followers: 6) Annals of Mathematics Annals of Mathematics and Artificial Intelligence       (Followers: 12) Annals of Pure and Applied Logic       (Followers: 2) Annals of the Alexandru Ioan Cuza University - Mathematics Annals of the Institute of Statistical Mathematics       (Followers: 1) Annals of West University of Timisoara - Mathematics Annuaire du Collège de France       (Followers: 5) ANZIAM Journal       (Followers: 1) Applicable Algebra in Engineering, Communication and Computing       (Followers: 2) Applications of Mathematics       (Followers: 1) Applied Categorical Structures       (Followers: 2) Applied Computational Intelligence and Soft Computing       (Followers: 11) Applied Mathematics       (Followers: 3) Applied Mathematics       (Followers: 6) Applied Mathematics & Optimization       (Followers: 6) Applied Mathematics - A Journal of Chinese Universities Applied Mathematics Letters       (Followers: 1) Applied Mathematics Research eXpress       (Followers: 1) Applied Network Science       (Followers: 3) Applied Numerical Mathematics       (Followers: 5) Applied Spatial Analysis and Policy       (Followers: 4) Arab Journal of Mathematical Sciences       (Followers: 3) Arabian Journal of Mathematics       (Followers: 2) Archive for Mathematical Logic       (Followers: 2) Archive of Applied Mechanics       (Followers: 5) Archive of Numerical Software Archives of Computational Methods in Engineering       (Followers: 5) Arkiv för Matematik       (Followers: 1) Armenian Journal of Mathematics Arnold Mathematical Journal       (Followers: 1) Artificial Satellites : The Journal of Space Research Centre of Polish Academy of Sciences       (Followers: 20) Asia-Pacific Journal of Operational Research       (Followers: 3) Asian Journal of Algebra       (Followers: 1) Asian Journal of Current Engineering & Maths Asian-European Journal of Mathematics       (Followers: 2) Australian Mathematics Teacher, The       (Followers: 6) Australian Primary Mathematics Classroom       (Followers: 4) Australian Senior Mathematics Journal       (Followers: 1) Automatic Documentation and Mathematical Linguistics       (Followers: 5) Axioms       (Followers: 1) Baltic International Yearbook of Cognition, Logic and Communication       (Followers: 1) Basin Research       (Followers: 5) BIBECHANA       (Followers: 2) BIT Numerical Mathematics BoEM - Boletim online de Educação Matemática Boletim Cearense de Educação e História da Matemática Boletim de Educação Matemática Boletín de la Sociedad Matemática Mexicana Bollettino dell'Unione Matematica Italiana       (Followers: 1) British Journal of Mathematical and Statistical Psychology       (Followers: 21) Bruno Pini Mathematical Analysis Seminar Buletinul Academiei de Stiinte a Republicii Moldova. Matematica       (Followers: 11) Bulletin des Sciences Mathamatiques       (Followers: 4) Bulletin of Dnipropetrovsk University. Series : Communications in Mathematical Modeling and Differential Equations Theory       (Followers: 1) Bulletin of Mathematical Sciences       (Followers: 1) Bulletin of Symbolic Logic       (Followers: 2) Bulletin of the Australian Mathematical Society       (Followers: 1) Bulletin of the Brazilian Mathematical Society, New Series Bulletin of the London Mathematical Society       (Followers: 4) Bulletin of the Malaysian Mathematical Sciences Society Calculus of Variations and Partial Differential Equations Canadian Journal of Science, Mathematics and Technology Education       (Followers: 18) Carpathian Mathematical Publications       (Followers: 1) Catalysis in Industry       (Followers: 1) CEAS Space Journal       (Followers: 2) CHANCE       (Followers: 5) Chaos, Solitons & Fractals       (Followers: 3) ChemSusChem       (Followers: 7) Chinese Annals of Mathematics, Series B Chinese Journal of Catalysis       (Followers: 2) Chinese Journal of Mathematics Clean Air Journal       (Followers: 1) Cogent Mathematics       (Followers: 2) Cognitive Computation       (Followers: 4) Collectanea Mathematica College Mathematics Journal       (Followers: 4) COMBINATORICA Combinatorics, Probability and Computing       (Followers: 4) Combustion Theory and Modelling       (Followers: 14) Commentarii Mathematici Helvetici       (Followers: 1) Communications in Combinatorics and Optimization Communications in Contemporary Mathematics Communications in Mathematical Physics       (Followers: 2) Communications On Pure & Applied Mathematics       (Followers: 3) Complex Analysis and its Synergies       (Followers: 2) Complex Variables and Elliptic Equations: An International Journal Complexus Composite Materials Series       (Followers: 8) Compositio Mathematica       (Followers: 1) Comptes Rendus Mathematique       (Followers: 1) Computational and Applied Mathematics       (Followers: 2) Computational and Mathematical Methods in Medicine       (Followers: 2) Computational and Mathematical Organization Theory       (Followers: 2) Computational Complexity       (Followers: 4) Computational Mathematics and Modeling       (Followers: 8) Computational Mechanics       (Followers: 5) Computational Methods and Function Theory Computational Optimization and Applications       (Followers: 7) Computers & Mathematics with Applications       (Followers: 8) Concrete Operators       (Followers: 5) Confluentes Mathematici Contributions to Game Theory and Management COSMOS Cryptography and Communications       (Followers: 12) Cuadernos de Investigación y Formación en Educación Matemática Cubo. A Mathematical Journal Current Research in Biostatistics       (Followers: 9) Czechoslovak Mathematical Journal       (Followers: 1) Demographic Research       (Followers: 10) Demonstratio Mathematica Dependence Modeling Design Journal : An International Journal for All Aspects of Design       (Followers: 29) Developments in Clay Science       (Followers: 1) Developments in Mineral Processing       (Followers: 3) Dhaka University Journal of Science Differential Equations and Dynamical Systems       (Followers: 3) Differentsial'nye Uravneniya Discrete Mathematics       (Followers: 8) Discrete Mathematics & Theoretical Computer Science Discrete Mathematics, Algorithms and Applications       (Followers: 2) Discussiones Mathematicae - General Algebra and Applications Discussiones Mathematicae Graph Theory       (Followers: 1) Diskretnaya Matematika Dnipropetrovsk University Mathematics Bulletin Doklady Akademii Nauk Doklady Mathematics Duke Mathematical Journal       (Followers: 1) Eco Matemático Edited Series on Advances in Nonlinear Science and Complexity Electronic Journal of Differential Equations Electronic Journal of Graph Theory and Applications       (Followers: 2) Electronic Notes in Discrete Mathematics       (Followers: 2) Elemente der Mathematik       (Followers: 4)

1 2 3 4 | Last

 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  [2352 journals]
• An Example of a Fraïssé Class Without a Katětov Functor
• Authors: Jan Grebík
Pages: 1 - 6
Abstract: We disprove a conjecture from Kubiś and Mašulović [2] by showing the existence of a Fraïssé class $$\mathcal {C}$$ which does not admit a Katětov functor. On the other hand, we show that the automorphism group of the Fraïssé limit of $$\mathcal {C}$$ is universal, as it happens in the presence of a Katětov functor.
PubDate: 2018-02-01
DOI: 10.1007/s10485-016-9469-4
Issue No: Vol. 26, No. 1 (2018)

• Semigroup Actions on Sets and the Burnside Ring
• Authors: Mehmet Akif Erdal; Özgün Ünlü
Pages: 7 - 28
Abstract: In this paper we discuss some enlargements of the category of sets with semigroup actions and equivariant functions. We show that these enlarged categories possess two idempotent endofunctors. In the case of groups these enlarged categories are equivalent to the usual category of group actions and equivariant functions, and these idempotent endofunctors reverse a given action. For a general semigroup we show that these enlarged categories admit homotopical category structures defined by using these endofunctors and show that up to homotopy these categories are equivalent to the usual category of sets with semigroup actions. We finally construct the Burnside ring of a monoid by using homotopical structure of these categories, so that when the monoid is a group this definition agrees with the usual definition, and we show that when the monoid is commutative, its Burnside ring is equivalent to the Burnside ring of its Gröthendieck group.
PubDate: 2018-02-01
DOI: 10.1007/s10485-016-9477-4
Issue No: Vol. 26, No. 1 (2018)

• Positive Model Structures for Abstract Symmetric Spectra
• Authors: S. Gorchinskiy; V. Guletskiĭ
Pages: 29 - 46
Abstract: We give a general method of constructing positive stable model structures for symmetric spectra over an abstract simplicial symmetric monoidal model category. The method is based on systematic localization, in Hirschhorn’s sense, of a certain positive projective model structure on spectra, where positivity basically means the truncation of the zero level. The localization is by the set of stabilizing morphisms or their truncated version.
PubDate: 2018-02-01
DOI: 10.1007/s10485-016-9480-9
Issue No: Vol. 26, No. 1 (2018)

• Weak Multiplier Bimonoids
• Authors: Gabriella Böhm; José Gómez-Torrecillas; Stephen Lack
Pages: 47 - 111
Abstract: Based on the novel notion of ‘weakly counital fusion morphism’, regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields (Böhm et al. Trans. Amer. Math. Soc. 367, 8681–8721, 2015) and multiplier bimonoids in braided monoidal categories (Böhm and Lack, J. Algebra 423, 853–889, 2015). Under some assumptions the so-called base object of a regular weak multiplier bimonoid is shown to carry a coseparable comonoid structure; hence to possess a monoidal category of bicomodules. In this case, appropriately defined modules over a regular weak multiplier bimonoid are proven to constitute a monoidal category with a strict monoidal forgetful type functor to the category of bicomodules over the base object. Braided monoidal categories considered include various categories of modules or graded modules, the category of complete bornological spaces, and the category of complex Hilbert spaces and continuous linear transformations.
PubDate: 2018-02-01
DOI: 10.1007/s10485-017-9481-3
Issue No: Vol. 26, No. 1 (2018)

• Hedetniemi’s Conjecture and Adjoint Functors in Thin Categories
• Authors: Jan Foniok; Claude Tardif
Pages: 113 - 128
Abstract: We survey results on Hedetniemi’s conjecture which are connected to adjoint functors in the “thin” category of graphs, and expose the obstacles to extending these results.
PubDate: 2018-02-01
DOI: 10.1007/s10485-017-9484-0
Issue No: Vol. 26, No. 1 (2018)

• The Category of Archimedean ℓ -Groups With Strong Unit, and Some of its
Epireflective Subcategories
• Authors: A. Hager; J. Martinez; C. Monaco
Pages: 129 - 151
Abstract: This paper explicates some basic categorical ideas in the category of the title, W ∗ (e.g., products and coproducts, monics, epics, and extremal monics, …) for the record, and for immediate application to description of some epireflective subcategories generated in various ways (at least six) by subobjects E of the reals $$\mathbb {R}$$ . These E have a very special place in W ∗ because of the Yosida Representation G ≤ C(Y G) which says directly that $$\mathbb {R}$$ is a co-separator in W ∗, and implies less directly that G ≤ C(Y G) is the epicomplete monoreflection of G. The E are exactly the nonterminal quasi-initial objects of W ∗ and generate the atoms in the lattice of epireflective subcategories of W ∗.
PubDate: 2018-02-01
DOI: 10.1007/s10485-017-9487-x
Issue No: Vol. 26, No. 1 (2018)

• Bousfield Localization and Algebras over Colored Operads
• Authors: David White; Donald Yau
Pages: 153 - 203
Abstract: We provide a very general approach to placing model structures and semi-model structures on algebras over symmetric colored operads. Our results require minimal hypotheses on the underlying model category $$\mathcal {M}$$ , and these hypotheses vary depending on what is known about the colored operads in question. We obtain results for the classes of colored operad which are cofibrant as a symmetric collection, entrywise cofibrant, or arbitrary. As the hypothesis on the operad is weakened, the hypotheses on $$\mathcal {M}$$ must be strengthened. Via a careful development of the categorical algebra of colored operads we provide a unified framework which allows us to build (semi-)model structures for all three of these classes of colored operads. We then apply these results to provide conditions on $$\mathcal {M}$$ , on the colored operad O, and on a class $$\mathcal {C}$$ of morphisms in $$\mathcal {M}$$ so that the left Bousfield localization of $$\mathcal {M}$$ with respect to $$\mathcal {C}$$ preserves O-algebras. Even the strongest version of our hypotheses on $$\mathcal {M}$$ is satisfied for model structures on simplicial sets, chain complexes over a field of characteristic zero, and symmetric spectra. We obtain results in these settings allowing us to place model structures on algebras over any colored operad, and to conclude that monoidal Bousfield localizations preserve such algebras.
PubDate: 2018-02-01
DOI: 10.1007/s10485-017-9489-8
Issue No: Vol. 26, No. 1 (2018)

• The Other Closure and Complete Sublocales
• Authors: Maria Manuel Clementino; Jorge Picado; Aleš Pultr
Abstract: Sublocales of a locale (frame, generalized space) can be equivalently represented by frame congruences. In this paper we discuss, a.o., the sublocales corresponding to complete congruences, that is, to frame congruences which are closed under arbitrary meets, and present a “geometric” condition for a sublocale to be complete. To this end we make use of a certain closure operator on the coframe of sublocales that allows not only to formulate the condition but also to analyze certain weak separation properties akin to subfitness or $$T_1$$ . Trivially, every open sublocale is complete. We specify a very wide class of frames, containing all the subfit ones, where there are no others. In consequence, e.g., in this class of frames, complete homomorphisms are automatically Heyting.
PubDate: 2018-02-13
DOI: 10.1007/s10485-018-9516-4

• Extensions of Operators, Liftings of Monads, and Distributive Laws
• Authors: Shilong Zhang; Li Guo; William Keigher
Abstract: In a previous study, the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC) is shown to allow extensions of differential and Rota–Baxter operators on the one hand, and to give rise to categorical explanations using the ideas of liftings of monads and comonads, and mixed distributive laws on the other. Generalizing the FFTC, we consider in this paper a class of constraints between a differential operator and a Rota–Baxter operator. For a given constraint, we show that the existences of extensions of differential and Rota–Baxter operators, of liftings of monads and comonads, and of mixed distributive laws are equivalent.
PubDate: 2018-02-13
DOI: 10.1007/s10485-018-9517-3

• A Relative Monotone-Light Factorization System for Internal Groupoids
• Authors: Alan S. Cigoli; Tomas Everaert; Marino Gran
Abstract: Given an exact category $${\mathcal {C}}$$ , it is well known that the connected component reflector $$\pi _0 :\mathsf {Gpd}(\mathcal {C}) \rightarrow \mathcal {C}$$ from the category $$\mathsf {Gpd}(\mathcal {C})$$ of internal groupoids in $$\mathcal {C}$$ to the base category $$\mathcal {C}$$ is semi-left-exact. In this article we investigate the existence of a monotone-light factorization system associated with this reflector. We show that, in general, there is no monotone-light factorization system $$(\mathcal {E}',\mathcal {M}^*)$$ in $$\mathsf {Gpd}$$ ( $$\mathcal {C}$$ ), where $$\mathcal {M}^*$$ is the class of coverings in the sense of the corresponding Galois theory. However, when restricting to the case where $$\mathcal {C}$$ is an exact Mal’tsev category, we show that the so-called comprehensive factorization of regular epimorphisms in $$\mathsf {Gpd}$$ ( $$\mathcal {C}$$ ) is the relative monotone-light factorization system (in the sense of Chikhladze) in the category $$\mathsf {Gpd}$$ ( $$\mathcal {C}$$ ) corresponding to the connected component reflector, where $$\mathcal {E}'$$ is the class of final functors and $$\mathcal {M}^*$$ the class of regular epimorphic discrete fibrations.
PubDate: 2018-02-12
DOI: 10.1007/s10485-018-9515-5

• Met-Like Categories Amongst Concrete Topological Categories
• Authors: Walter Tholen
Abstract: When replacing the non-negative real numbers with their addition by a commutative quantale $$\mathsf{V}$$ , under a metric lens one may then view small $$\mathsf{V}$$ -categories as sets that come with a $$\mathsf{V}$$ -valued distance function. The ensuing category $$\mathsf{V}\text {-}\mathbf{Cat}$$ is well known to be a concrete topological category that is symmetric monoidal closed. In this paper we show which concrete symmetric monoidal-closed topological categories may be fully and bireflectively embedded into $$\mathsf{V}\text {-}\mathbf{Cat}$$ , for some $$\mathsf{V}$$ .
PubDate: 2018-02-12
DOI: 10.1007/s10485-018-9513-7

• An Approach Theoretic Version of Anscombe’s Theorem with an
Application in Biostatistics
• Authors: Ben Berckmoes
Abstract: We establish an approach theoretic version of Anscombe’s theorem, which we apply to justify the use of confidence intervals based on the sample mean after a group sequential trial.
PubDate: 2018-02-09
DOI: 10.1007/s10485-018-9512-8

• Grothendieck Categories as a Bilocalization of Linear Sites
• Authors: Julia Ramos González
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: 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)

• Curved Homotopy Coalgebras
• Authors: Volodymyr Lyubashenko
Pages: 991 - 1036
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: 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: 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)

• When Boole Commutes with Hewitt and Lindelöf
• Authors: Themba Dube
Pages: 1097 - 1111
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)

• The Modular Envelope of the Cyclic Operad $$\mathcal {A} ss$$ A s s
• Authors: Martin Doubek
Pages: 1187 - 1198
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)

• Approximate Injectivity
• Authors: J. Rosický; W. Tholen
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

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
Your IP address: 54.156.37.174

About JournalTOCs
API
Help
News (blog, publications)

JournalTOCs © 2009-