for Journals by Title or ISSN
for Articles by Keywords
  Subjects -> COMPUTER SCIENCE (Total: 2122 journals)
    - ANIMATION AND SIMULATION (31 journals)
    - ARTIFICIAL INTELLIGENCE (105 journals)
    - AUTOMATION AND ROBOTICS (105 journals)
    - COMPUTER ARCHITECTURE (10 journals)
    - COMPUTER ENGINEERING (11 journals)
    - COMPUTER GAMES (21 journals)
    - COMPUTER PROGRAMMING (26 journals)
    - COMPUTER SCIENCE (1231 journals)
    - COMPUTER SECURITY (50 journals)
    - DATA BASE MANAGEMENT (14 journals)
    - DATA MINING (38 journals)
    - E-BUSINESS (22 journals)
    - E-LEARNING (30 journals)
    - IMAGE AND VIDEO PROCESSING (40 journals)
    - INFORMATION SYSTEMS (107 journals)
    - INTERNET (96 journals)
    - SOCIAL WEB (53 journals)
    - SOFTWARE (34 journals)
    - THEORY OF COMPUTING (9 journals)

COMPUTER SCIENCE (1231 journals)                  1 2 3 4 5 6 7 | Last

Showing 1 - 200 of 872 Journals sorted alphabetically
3D Printing and Additive Manufacturing     Full-text available via subscription   (Followers: 24)
Abakós     Open Access   (Followers: 4)
ACM Computing Surveys     Hybrid Journal   (Followers: 31)
ACM Journal on Computing and Cultural Heritage     Hybrid Journal   (Followers: 8)
ACM Journal on Emerging Technologies in Computing Systems     Hybrid Journal   (Followers: 17)
ACM Transactions on Accessible Computing (TACCESS)     Hybrid Journal   (Followers: 3)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 15)
ACM Transactions on Applied Perception (TAP)     Hybrid Journal   (Followers: 5)
ACM Transactions on Architecture and Code Optimization (TACO)     Hybrid Journal   (Followers: 9)
ACM Transactions on Autonomous and Adaptive Systems (TAAS)     Hybrid Journal   (Followers: 9)
ACM Transactions on Computation Theory (TOCT)     Hybrid Journal   (Followers: 12)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 3)
ACM Transactions on Computer Systems (TOCS)     Hybrid Journal   (Followers: 18)
ACM Transactions on Computer-Human Interaction     Hybrid Journal   (Followers: 16)
ACM Transactions on Computing Education (TOCE)     Hybrid Journal   (Followers: 7)
ACM Transactions on Design Automation of Electronic Systems (TODAES)     Hybrid Journal   (Followers: 6)
ACM Transactions on Economics and Computation     Hybrid Journal   (Followers: 2)
ACM Transactions on Embedded Computing Systems (TECS)     Hybrid Journal   (Followers: 3)
ACM Transactions on Information Systems (TOIS)     Hybrid Journal   (Followers: 20)
ACM Transactions on Intelligent Systems and Technology (TIST)     Hybrid Journal   (Followers: 8)
ACM Transactions on Interactive Intelligent Systems (TiiS)     Hybrid Journal   (Followers: 5)
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)     Hybrid Journal   (Followers: 9)
ACM Transactions on Reconfigurable Technology and Systems (TRETS)     Hybrid Journal   (Followers: 6)
ACM Transactions on Sensor Networks (TOSN)     Hybrid Journal   (Followers: 8)
ACM Transactions on Speech and Language Processing (TSLP)     Hybrid Journal   (Followers: 9)
ACM Transactions on Storage     Hybrid Journal  
ACS Applied Materials & Interfaces     Hybrid Journal   (Followers: 35)
Acta Automatica Sinica     Full-text available via subscription   (Followers: 2)
Acta Informatica Malaysia     Open Access  
Acta Universitatis Cibiniensis. Technical Series     Open Access  
Ad Hoc Networks     Hybrid Journal   (Followers: 11)
Adaptive Behavior     Hybrid Journal   (Followers: 10)
Advanced Engineering Materials     Hybrid Journal   (Followers: 29)
Advanced Science Letters     Full-text available via subscription   (Followers: 11)
Advances in Adaptive Data Analysis     Hybrid Journal   (Followers: 7)
Advances in Artificial Intelligence     Open Access   (Followers: 15)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 6)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 19)
Advances in Computer Engineering     Open Access   (Followers: 4)
Advances in Computer Science : an International Journal     Open Access   (Followers: 14)
Advances in Computing     Open Access   (Followers: 2)
Advances in Data Analysis and Classification     Hybrid Journal   (Followers: 59)
Advances in Engineering Software     Hybrid Journal   (Followers: 28)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 14)
Advances in Human Factors/Ergonomics     Full-text available via subscription   (Followers: 23)
Advances in Human-Computer Interaction     Open Access   (Followers: 21)
Advances in Materials Science     Open Access   (Followers: 15)
Advances in Operations Research     Open Access   (Followers: 12)
Advances in Parallel Computing     Full-text available via subscription   (Followers: 7)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Remote Sensing     Open Access   (Followers: 51)
Advances in Science and Research (ASR)     Open Access   (Followers: 6)
Advances in Technology Innovation     Open Access   (Followers: 6)
AEU - International Journal of Electronics and Communications     Hybrid Journal   (Followers: 8)
African Journal of Information and Communication     Open Access   (Followers: 9)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 4)
AI EDAM     Hybrid Journal   (Followers: 1)
Air, Soil & Water Research     Open Access   (Followers: 14)
AIS Transactions on Human-Computer Interaction     Open Access   (Followers: 7)
Algebras and Representation Theory     Hybrid Journal   (Followers: 1)
Algorithms     Open Access   (Followers: 11)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 5)
American Journal of Computational Mathematics     Open Access   (Followers: 4)
American Journal of Information Systems     Open Access   (Followers: 6)
American Journal of Sensor Technology     Open Access   (Followers: 4)
Anais da Academia Brasileira de Ciências     Open Access   (Followers: 2)
Analog Integrated Circuits and Signal Processing     Hybrid Journal   (Followers: 7)
Analysis in Theory and Applications     Hybrid Journal   (Followers: 1)
Animation Practice, Process & Production     Hybrid Journal   (Followers: 5)
Annals of Combinatorics     Hybrid Journal   (Followers: 4)
Annals of Data Science     Hybrid Journal   (Followers: 12)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 12)
Annals of Pure and Applied Logic     Open Access   (Followers: 3)
Annals of Software Engineering     Hybrid Journal   (Followers: 13)
Annals of West University of Timisoara - Mathematics and Computer Science     Open Access  
Annual Reviews in Control     Hybrid Journal   (Followers: 8)
Anuario Americanista Europeo     Open Access  
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 2)
Applied and Computational Harmonic Analysis     Full-text available via subscription   (Followers: 1)
Applied Artificial Intelligence: An International Journal     Hybrid Journal   (Followers: 12)
Applied Categorical Structures     Hybrid Journal   (Followers: 5)
Applied Clinical Informatics     Hybrid Journal   (Followers: 2)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 14)
Applied Computer Systems     Open Access   (Followers: 2)
Applied Informatics     Open Access  
Applied Mathematics and Computation     Hybrid Journal   (Followers: 33)
Applied Medical Informatics     Open Access   (Followers: 11)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Soft Computing     Hybrid Journal   (Followers: 17)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 7)
Applied System Innovation     Open Access  
Architectural Theory Review     Hybrid Journal   (Followers: 3)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 6)
Archive of Numerical Software     Open Access  
Archives and Museum Informatics     Hybrid Journal   (Followers: 152)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 6)
arq: Architectural Research Quarterly     Hybrid Journal   (Followers: 8)
Artifact     Open Access   (Followers: 2)
Artificial Life     Hybrid Journal   (Followers: 7)
Asia Pacific Journal on Computational Engineering     Open Access  
Asia-Pacific Journal of Information Technology and Multimedia     Open Access   (Followers: 1)
Asian Journal of Control     Hybrid Journal  
Assembly Automation     Hybrid Journal   (Followers: 2)
at - Automatisierungstechnik     Hybrid Journal   (Followers: 1)
Australian Educational Computing     Open Access   (Followers: 1)
Automatic Control and Computer Sciences     Hybrid Journal   (Followers: 6)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Automatica     Hybrid Journal   (Followers: 12)
Automation in Construction     Hybrid Journal   (Followers: 7)
Autonomous Mental Development, IEEE Transactions on     Hybrid Journal   (Followers: 8)
Balkan Journal of Electrical and Computer Engineering     Open Access  
Basin Research     Hybrid Journal   (Followers: 5)
Behaviour & Information Technology     Hybrid Journal   (Followers: 51)
Big Data and Cognitive Computing     Open Access   (Followers: 3)
Biodiversity Information Science and Standards     Open Access  
Bioinformatics     Hybrid Journal   (Followers: 323)
Biomedical Engineering     Hybrid Journal   (Followers: 16)
Biomedical Engineering and Computational Biology     Open Access   (Followers: 13)
Biomedical Engineering, IEEE Reviews in     Full-text available via subscription   (Followers: 19)
Biomedical Engineering, IEEE Transactions on     Hybrid Journal   (Followers: 35)
Briefings in Bioinformatics     Hybrid Journal   (Followers: 51)
British Journal of Educational Technology     Hybrid Journal   (Followers: 157)
Broadcasting, IEEE Transactions on     Hybrid Journal   (Followers: 12)
c't Magazin fuer Computertechnik     Full-text available via subscription   (Followers: 1)
CALCOLO     Hybrid Journal  
Calphad     Hybrid Journal   (Followers: 2)
Canadian Journal of Electrical and Computer Engineering     Full-text available via subscription   (Followers: 15)
Capturing Intelligence     Full-text available via subscription  
Catalysis in Industry     Hybrid Journal   (Followers: 1)
CEAS Space Journal     Hybrid Journal   (Followers: 2)
Cell Communication and Signaling     Open Access   (Followers: 2)
Central European Journal of Computer Science     Hybrid Journal   (Followers: 5)
CERN IdeaSquare Journal of Experimental Innovation     Open Access   (Followers: 3)
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 3)
Chemometrics and Intelligent Laboratory Systems     Hybrid Journal   (Followers: 15)
ChemSusChem     Hybrid Journal   (Followers: 7)
China Communications     Full-text available via subscription   (Followers: 8)
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 2)
CIN Computers Informatics Nursing     Hybrid Journal   (Followers: 11)
Circuits and Systems     Open Access   (Followers: 15)
Clean Air Journal     Full-text available via subscription   (Followers: 1)
CLEI Electronic Journal     Open Access  
Clin-Alert     Hybrid Journal   (Followers: 1)
Clinical eHealth     Open Access  
Cluster Computing     Hybrid Journal   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 4)
COMBINATORICA     Hybrid Journal  
Combinatorics, Probability and Computing     Hybrid Journal   (Followers: 4)
Combustion Theory and Modelling     Hybrid Journal   (Followers: 14)
Communication Methods and Measures     Hybrid Journal   (Followers: 13)
Communication Theory     Hybrid Journal   (Followers: 24)
Communications Engineer     Hybrid Journal   (Followers: 1)
Communications in Algebra     Hybrid Journal   (Followers: 3)
Communications in Computational Physics     Full-text available via subscription   (Followers: 2)
Communications in Information Science and Management Engineering     Open Access   (Followers: 4)
Communications in Partial Differential Equations     Hybrid Journal   (Followers: 4)
Communications of the ACM     Full-text available via subscription   (Followers: 51)
Communications of the Association for Information Systems     Open Access   (Followers: 16)
COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering     Hybrid Journal   (Followers: 3)
Complex & Intelligent Systems     Open Access   (Followers: 1)
Complex Adaptive Systems Modeling     Open Access  
Complex Analysis and Operator Theory     Hybrid Journal   (Followers: 2)
Complexity     Hybrid Journal   (Followers: 6)
Complexus     Full-text available via subscription  
Composite Materials Series     Full-text available via subscription   (Followers: 8)
Computación y Sistemas     Open Access  
Computation     Open Access   (Followers: 1)
Computational and Applied Mathematics     Hybrid Journal   (Followers: 3)
Computational and Mathematical Biophysics     Open Access   (Followers: 1)
Computational and Mathematical Methods in Medicine     Open Access   (Followers: 2)
Computational and Mathematical Organization Theory     Hybrid Journal   (Followers: 2)
Computational and Structural Biotechnology Journal     Open Access   (Followers: 1)
Computational and Theoretical Chemistry     Hybrid Journal   (Followers: 9)
Computational Astrophysics and Cosmology     Open Access   (Followers: 1)
Computational Biology and Chemistry     Hybrid Journal   (Followers: 12)
Computational Chemistry     Open Access   (Followers: 2)
Computational Cognitive Science     Open Access   (Followers: 2)
Computational Complexity     Hybrid Journal   (Followers: 4)
Computational Condensed Matter     Open Access   (Followers: 1)
Computational Ecology and Software     Open Access   (Followers: 9)
Computational Economics     Hybrid Journal   (Followers: 9)
Computational Geosciences     Hybrid Journal   (Followers: 17)
Computational Linguistics     Open Access   (Followers: 24)
Computational Management Science     Hybrid Journal  
Computational Mathematics and Modeling     Hybrid Journal   (Followers: 8)
Computational Mechanics     Hybrid Journal   (Followers: 5)
Computational Methods and Function Theory     Hybrid Journal  
Computational Molecular Bioscience     Open Access   (Followers: 2)
Computational Optimization and Applications     Hybrid Journal   (Followers: 8)
Computational Particle Mechanics     Hybrid Journal   (Followers: 1)
Computational Research     Open Access   (Followers: 1)
Computational Science and Discovery     Full-text available via subscription   (Followers: 2)
Computational Science and Techniques     Open Access  
Computational Statistics     Hybrid Journal   (Followers: 14)
Computational Statistics & Data Analysis     Hybrid Journal   (Followers: 35)
Computer     Full-text available via subscription   (Followers: 105)
Computer Aided Surgery     Open Access   (Followers: 6)
Computer Applications in Engineering Education     Hybrid Journal   (Followers: 8)
Computer Communications     Hybrid Journal   (Followers: 16)

        1 2 3 4 5 6 7 | Last

Journal Cover
Applied Categorical Structures
Journal Prestige (SJR): 0.49
Number of Followers: 5  
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1572-9095 - ISSN (Online) 0927-2852
Published by Springer-Verlag Homepage  [2352 journals]
  • Bousfield Localisation and Colocalisation of One-Dimensional Model
    • Authors: Scott Balchin; Richard Garner
      Pages: 1 - 21
      Abstract: We give an account of Bousfield localisation and colocalisation for one-dimensional model categories—ones enriched over the model category of 0-types. A distinguishing feature of our treatment is that it builds localisations and colocalisations using only the constructions of projective and injective transfer of model structures along right and left adjoint functors, and without any reference to Smith’s theorem.
      PubDate: 2019-02-01
      DOI: 10.1007/s10485-018-9537-z
      Issue No: Vol. 27, No. 1 (2019)
  • Gabriel-Morita Theory for Excisive Model Categories
    • Authors: Clemens Berger; Kruna Ratkovic
      Pages: 23 - 54
      Abstract: We develop a Gabriel-Morita theory for strong monads on pointed monoidal model categories. Assuming that the model category is excisive, i.e. the derived suspension functor is conservative, we show that if the monad T preserves cofibre sequences up to homotopy and has a weakly invertible strength, then the category of T-algebras is Quillen equivalent to the category of T(I)-modules where I is the monoidal unit. This recovers Schwede’s theorem on connective stable homotopy over a pointed Lawvere theory as special case.
      PubDate: 2019-02-01
      DOI: 10.1007/s10485-018-9539-x
      Issue No: Vol. 27, No. 1 (2019)
  • Pseudoalgebras and Non-canonical Isomorphisms
    • Authors: Fernando Lucatelli Nunes
      Pages: 55 - 63
      Abstract: Given a pseudomonad \(\mathcal {T}\) , we prove that a lax \(\mathcal {T}\) -morphism between pseudoalgebras is a \(\mathcal {T}\) -pseudomorphism if and only if there is a suitable (possibly non-canonical) invertible \(\mathcal {T}\) -transformation. This result encompasses several results on non-canonical isomorphisms, including Lack’s result on normal monoidal functors between braided monoidal categories, since it is applicable in any 2-category of pseudoalgebras, such as the 2-categories of monoidal categories, cocomplete categories, bicategories, pseudofunctors and so on.
      PubDate: 2019-02-01
      DOI: 10.1007/s10485-018-9541-3
      Issue No: Vol. 27, No. 1 (2019)
  • Boolean Perspectives of Idioms and the Boyle Derivative
    • Authors: Jaime Castro Pérez; Mauricio Medina Bárcenas; José Ríos Montes; Angel Zaldívar Corichi
      Pages: 65 - 84
      Abstract: We are concerned with the boolean or more generally with the complemented properties of idioms (complete upper-continuous modular lattices). Simmons (Cantor–Bendixson, socle, and atomicity., 2014) introduces a device which captures in some informal speaking how far the idiom is from being complemented, this device is the Cantor-Bendixson derivative. There exists another device that captures some boolean properties, the so-called Boyle-derivative, this derivative is an operator on the assembly (the frame of nuclei) of the idiom. The Boyle-derivative has its origins in module theory. In this investigation we produce an idiomatic analysis of the boolean properties of any idiom using the Boyle-derivative and we give conditions on a nucleus j such that [j, tp] is a complete boolean algebra. We also explore some properties of nuclei j such that \(A_{j}\) is a complemented idiom.
      PubDate: 2019-02-01
      DOI: 10.1007/s10485-018-9543-1
      Issue No: Vol. 27, No. 1 (2019)
  • A Categorical Approach to Cyclic Cohomology of Quasi-Hopf Algebras and
           Hopf Algebroids
    • Authors: Ivan Kobyzev; Ilya Shapiro
      Pages: 85 - 109
      Abstract: We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the literature, and while a definition exists for the latter, we feel that our approach demystifies the seemingly arbitrary formulas present there. This paper emphasizes the importance of working with a biclosed monoidal category in order to obtain natural coefficients for a cyclic theory that are analogous to the stable anti-Yetter–Drinfeld contramodules for Hopf algebras.
      PubDate: 2019-02-01
      DOI: 10.1007/s10485-018-9544-0
      Issue No: Vol. 27, No. 1 (2019)
  • The Spectrum of the Singularity Category of a Category Algebra
    • Authors: Ren Wang
      Abstract: Let \({\mathscr {C}}\) be a finite projective EI category and k be a field. The singularity category of the category algebra \(k{\mathscr {C}}\) is a tensor triangulated category. We compute its spectrum in the sense of Balmer.
      PubDate: 2019-02-13
      DOI: 10.1007/s10485-019-09562-0
  • Homotopical Adjoint Lifting Theorem
    • Authors: David White; Donald Yau
      Abstract: This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our approach allows us to simultaneously answer questions of rectification and of changing the base model category to a Quillen equivalent one. We work in the setting of colored operads, and we do not require them to be \(\Sigma \) -cofibrant. Special cases of our main theorem recover many known results regarding rectification and change of model category, as well as numerous new results. In particular, we recover a recent result of Richter–Shipley about a zig-zag of Quillen equivalences between commutative \(H\mathbb {Q}\) -algebra spectra and commutative differential graded \(\mathbb {Q}\) -algebras, but our version involves only three Quillen equivalences instead of six. We also work out the theory of how to lift Quillen equivalences to categories of colored operad algebras after a left Bousfield localization.
      PubDate: 2019-02-12
      DOI: 10.1007/s10485-019-09560-2
  • On the Degree in Categories of Complexes of Fixed Size
    • Authors: Claudia Chaio; Isabel Pratti; María José Souto Salorio
      Abstract: We consider \(\Lambda \) an artin algebra and \(n \ge 2\) . We study how to compute the left and right degrees of irreducible morphisms between complexes in a generalized standard Auslander–Reiten component of \({{\mathbf {C_n}}(\mathrm{proj}\, \Lambda )}\) with length. We give conditions under which the kernel and the cokernel of irreducible morphisms between complexes in \({\mathbf {C_n}}(\mathrm{proj}\, \Lambda )\) belong to such a category. For a finite dimensional hereditary algebra H over an algebraically closed field, we determine when an irreducible morphism has finite left (or right) degree and we give a characterization, depending on the degrees of certain irreducible morphisms, under which \({\mathbf {C_n}}(\mathrm{proj} \,H)\) is of finite type.
      PubDate: 2019-02-01
      DOI: 10.1007/s10485-019-09557-x
  • On a Model Invariance Problem in Homotopy Type Theory
    • Authors: Anthony Bordg
      Abstract: In this article, the author endows the functor category \([\mathbf {B}(\mathbb {Z}_2),\mathbf {Gpd}]\) with the structure of a type-theoretic fibration category with a univalent universe, using the so-called injective model structure. This gives a new model of Martin-Löf type theory with dependent sums, dependent products, identity types and a univalent universe. This model, together with the model (developed by the author in another work) in the same underlying category and with the same universe, which turns out to be provably not univalent with respect to projective fibrations, provide an example of two Quillen equivalent model categories that host different models of type theory. Thus, we provide a counterexample to the model invariance problem formulated by Michael Shulman.
      PubDate: 2019-02-01
      DOI: 10.1007/s10485-019-09558-w
  • Concerning P -Sublocales and Disconnectivity
    • Abstract: Motivated by certain types of ideals in pointfree functions rings, we define what we call P-sublocales in completely regular frames. They are the closed sublocales that are interior to the zero-sublocales containing them. We call an element of a frame L that induces a P-sublocale a P-element, and denote by \({{\,\mathrm{Pel}\,}}(L)\) the set of all such elements. We show that if L is basically disconnected, then \({{\,\mathrm{Pel}\,}}(L)\) is a frame and, in fact, a dense sublocale of L. Ordered by inclusion, the set \(\mathcal {S}_\mathfrak {p}(L)\) of P-sublocales of L is a complete lattice, and, for basically disconnected L, \(\mathcal {S}_\mathfrak {p}(L)\) is a frame if and only if \({{\,\mathrm{Pel}\,}}(L)\) is the smallest dense sublocale of L. Furthermore, for basically disconnected L, \(\mathcal {S}_\mathfrak {p}(L)\) is a sublocale of the frame \(\mathcal {S}_\mathfrak {c}(L)\) consisting of joins of closed sublocales of L if and only if L is Boolean. For extremally disconnected L, iterating through the ordinals (taking intersections at limit ordinals) yields an ordinal sequence $$\begin{aligned} L\;\supseteq \;{{\,\mathrm{Pel}\,}}(L)\supseteq \;{{\,\mathrm{Pel}\,}}^2(L)\;\supseteq \;\cdots \; \supseteq \;{{\,\mathrm{Pel}\,}}^\alpha (L)\supseteq \;{{\,\mathrm{Pel}\,}}^{\alpha +1}(L)\;\supseteq \cdots \end{aligned}$$ that stabilizes at an extremally disconnected P-frame, that we denote by \({{\,\mathrm{Pel}\,}}^\infty (L)\) . It turns out that \({{\,\mathrm{Pel}\,}}^\infty (L)\) is the reflection to L from extremally disconnected P-frames when morphisms are suitably restricted.
      PubDate: 2019-01-23
      DOI: 10.1007/s10485-019-09559-9
  • Hom–Tensor Categories and the Hom–Yang–Baxter Equation
    • Authors: Florin Panaite; Paul T. Schrader; Mihai D. Staic
      Abstract: We introduce a new type of categorical object called a hom–tensor category and show that it provides the appropriate setting for modules over an arbitrary hom-bialgebra. Next we introduce the notion of hom-braided category and show that this is the right setting for modules over quasitriangular hom-bialgebras. We also show how the Hom–Yang–Baxter equation fits into this framework and how the category of Yetter–Drinfeld modules over a hom-bialgebra with bijective structure map can be organized as a hom-braided category. Finally we prove that, under certain conditions, one can obtain a tensor category (respectively a braided tensor category) from a hom–tensor category (respectively a hom-braided category).
      PubDate: 2019-01-16
      DOI: 10.1007/s10485-019-09556-y
  • Quotients of d-Frames
    • Authors: Tomáš Jakl; Achim Jung; Aleš Pultr
      Abstract: It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency or totality structure, but as these are linked by the reasonableness conditions of d-frames, the result in general will be that both frames are factored and both consistency and totality are increased.
      PubDate: 2019-01-05
      DOI: 10.1007/s10485-018-09553-7
  • Co-Gorenstein Algebras
    • Authors: Sondre Kvamme; René Marczinzik
      Abstract: We review the theory of Co-Gorenstein algebras, which was introduced in Beligiannis (Commun Algebra 28(10):4547–4596, 2000). We show a connection between Co-Gorenstein algebras and the Nakayama and Generalized Nakayama conjecture.
      PubDate: 2019-01-04
      DOI: 10.1007/s10485-018-09554-6
  • Presheaves Over a Join Restriction Category
    • Authors: Daniel Lin
      Abstract: Just as the presheaf category is the free cocompletion of any small category, there is an analogous notion of free cocompletion for any small restriction category. In this paper, we extend the work on restriction presheaves to presheaves over join restriction categories, and show that the join restriction category of join restriction presheaves is equivalent to some partial map category of sheaves. We then use this to show that the Yoneda embedding exhibits the category of join restriction presheaves as the free cocompletion of any small join restriction category.
      PubDate: 2019-01-04
      DOI: 10.1007/s10485-018-09555-5
  • On Flasque Sheaves and Flasque Modules
    • Authors: Stefan Schröer
      Pages: 1113 - 1122
      Abstract: We show that each sheaf of modules admits a flasque hull, such that homomorphisms into flasque sheaves factor over the flasque hull. On the other hand, we give examples of modules over non-noetherian rings that do not inject into flasque modules. This reveals the impossibility to extend the proof of Serre’s vanishing result for affine schemes with flasque quasicoherent resolutions to the non-noetherian setting. However, we outline how hypercoverings can be used for a reduction to the noetherian case.
      PubDate: 2018-12-01
      DOI: 10.1007/s10485-018-9520-8
      Issue No: Vol. 26, No. 6 (2018)
  • Cowellpoweredness of Some Categories of Quasi-Uniform Spaces
    • Authors: Dikran Dikranjan; Hans-Peter A. Künzi
      Pages: 1159 - 1184
      Abstract: We study cowellpoweredness in the category \(\mathbf{QUnif}\) of quasi-uniform spaces and uniformly continuous maps. A full subcategory \(\mathcal{A}\) of \(\mathbf{QUnif}\) is cowellpowered when the cardinality of the codomains of any class of epimorphisms in \(\mathcal{A}\) , with a fixed common domain, is bounded. We use closure operators in the sense of Dikranjan–Giuli–Tholen which provide a convenient tool for describing the subcategories \(\mathcal{A}\) of \(\mathbf{QUnif}\) and their epimorphisms. Some of the results are obtained by using the knowledge of closure operators, epimorphisms and cowellpoweredness of subcategories of the category \(\mathbf{Top}\) of topological spaces and continuous maps. The transfer is realized by lifting these subcategories along the forgetful functor \(T{:}\mathbf{QUnif}\rightarrow \mathbf{Top}\) and studying when epimorphisms and cowellpoweredness are preserved by the lifting. In other cases closure operators of \(\mathbf{QUnif}\) are used to provide specific results for \(\mathbf{QUnif}\) that have no counterpart in \(\mathbf{Top}\) . This leads to a wealth of cowellpowered categories and a wealth of non-cowellpowered categories of quasi-uniform spaces, in contrast with the current situation in the case of the smaller category \(\mathbf{Unif}\) of uniform spaces, where no example of a non-cowellpowered subcategory is known so far. Finally, we present our main example: a non-cowellpowered full subcategory of \(\mathbf{QUnif}\) which is the intersection of two “symmetric” cowellpowered full subcategories of \(\mathbf{QUnif}\) .
      PubDate: 2018-12-01
      DOI: 10.1007/s10485-018-9523-5
      Issue No: Vol. 26, No. 6 (2018)
  • Local Complete Segal Spaces
    • Authors: Nicholas J. Meadows
      Pages: 1265 - 1281
      Abstract: We develop a model structure on bimplicial presheaves on a small site \({\mathscr {C}}\) , for which the weak equivalences are local (or stalkwise) weak equivalences in the complete Segal model structure. We call this the local Complete Segal model structure. This model structure can be realized as a left Bousfield localization of the Jardine (injective) model structure on the simplicial presheaves on a site \({\mathscr {C}} / {\varDelta }^{op}\) . Furthermore, it is shown that this model structure is Quillen equivalent to the model structure of the author’s paper (Meadows in TAC 31(24):690–711, 2016). This Quillen equivalence extends an equivalence between the complete Segal space and Joyal model structures, due to Joyal and Tierney (Categories in algebra, geometry and mathematical physics, contemporary mathematics, vol. 431. American Mathematical Society, Providence, pp 277–326, 2007). As an application, we compare the notion of descent in the local Joyal model structure to the notion of descent in the injective model structure. Interestingly, this is a consequence of the Quillen equivalence between the local Joyal and local Complete Segal model structures.
      PubDate: 2018-12-01
      DOI: 10.1007/s10485-018-9535-1
      Issue No: Vol. 26, No. 6 (2018)
  • A Multiplication Formula for the Modified Caldero–Chapoton Map
    • Authors: David Pescod
      Pages: 1283 - 1304
      Abstract: A frieze in the modern sense is a map from the set of objects of a triangulated category \(\mathsf {C}\) to some ring. A frieze X is characterised by the property that if \(\tau x\rightarrow y\rightarrow x\) is an Auslander–Reiten triangle in \(\mathsf {C}\) , then \(X(\tau x)X(x)-X(y)=1\) . The canonical example of a frieze is the (original) Caldero–Chapoton map, which send objects of cluster categories to elements of cluster algebras. Holm and Jørgensen (Nagoya Math J 218:101–124, 2015; Bull Sci Math 140:112–131, 2016), the notion of generalised friezes is introduced. A generalised frieze \(X'\) has the more general property that \(X'(\tau x)X'(x)-X'(y)\in \{0,1\}\) . The canonical example of a generalised frieze is the modified Caldero–Chapoton map, also introduced in Holm and Jørgensen (2015, 2016). Here, we develop and add to the results in Holm and Jørgensen (2016). We define Condition F for two maps \(\alpha \) and \(\beta \) in the modified Caldero–Chapoton map, and in the case when \(\mathsf {C}\) is 2-Calabi–Yau, we show that it is sufficient to replace a more technical “frieze-like” condition from Holm and Jørgensen (2016). We also prove a multiplication formula for the modified Caldero–Chapoton map, which significantly simplifies its computation in practice.
      PubDate: 2018-12-01
      DOI: 10.1007/s10485-018-9538-y
      Issue No: Vol. 26, No. 6 (2018)
  • Entourages, Density, Cauchy Maps, and Completion
    • Authors: Jorge Picado; Aleš Pultr
      Pages: 1305 - 1324
      Abstract: We study uniformities and quasi-uniformities (uniformities without the symmetry axiom) in the common language of entourages. The techniques developed allow for a general theory in which uniformities are the symmetric part. In particular, we have a natural notion of Cauchy map independent of symmetry and a very simple general completion procedure (perhaps more transparent and simpler than the usual symmetric one).
      PubDate: 2018-12-01
      DOI: 10.1007/s10485-018-9542-2
      Issue No: Vol. 26, No. 6 (2018)
  • Strong Homotopy Types of Acyclic Categories and $$\varDelta $$ Δ
    • Abstract: We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and \(\varDelta \) -complexes, respectively. The functors of classifying spaces and face posets are compatible with these homotopy theories. In contrast with the classical settings of finite spaces and simplicial complexes, the universality of morphisms and simplices plays a central role in this paper.
      PubDate: 2018-12-01
      DOI: 10.1007/s10485-018-9552-0
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-