for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> COMPUTER SCIENCE (Total: 2053 journals)
    - ANIMATION AND SIMULATION (30 journals)
    - ARTIFICIAL INTELLIGENCE (99 journals)
    - AUTOMATION AND ROBOTICS (102 journals)
    - CLOUD COMPUTING AND NETWORKS (65 journals)
    - COMPUTER ARCHITECTURE (9 journals)
    - COMPUTER ENGINEERING (10 journals)
    - COMPUTER GAMES (16 journals)
    - COMPUTER PROGRAMMING (27 journals)
    - COMPUTER SCIENCE (1198 journals)
    - COMPUTER SECURITY (44 journals)
    - DATA BASE MANAGEMENT (14 journals)
    - DATA MINING (33 journals)
    - E-BUSINESS (22 journals)
    - E-LEARNING (29 journals)
    - ELECTRONIC DATA PROCESSING (22 journals)
    - IMAGE AND VIDEO PROCESSING (39 journals)
    - INFORMATION SYSTEMS (108 journals)
    - INTERNET (93 journals)
    - SOCIAL WEB (51 journals)
    - SOFTWARE (34 journals)
    - THEORY OF COMPUTING (8 journals)

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

Showing 1 - 200 of 872 Journals sorted alphabetically
3D Printing and Additive Manufacturing     Full-text available via subscription   (Followers: 20)
Abakós     Open Access   (Followers: 4)
ACM Computing Surveys     Hybrid Journal   (Followers: 27)
ACM Journal on Computing and Cultural Heritage     Hybrid Journal   (Followers: 8)
ACM Journal on Emerging Technologies in Computing Systems     Hybrid Journal   (Followers: 11)
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: 7)
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: 17)
ACM Transactions on Computer-Human Interaction     Hybrid Journal   (Followers: 14)
ACM Transactions on Computing Education (TOCE)     Hybrid Journal   (Followers: 5)
ACM Transactions on Design Automation of Electronic Systems (TODAES)     Hybrid Journal   (Followers: 3)
ACM Transactions on Economics and Computation     Hybrid Journal  
ACM Transactions on Embedded Computing Systems (TECS)     Hybrid Journal   (Followers: 3)
ACM Transactions on Information Systems (TOIS)     Hybrid Journal   (Followers: 19)
ACM Transactions on Intelligent Systems and Technology (TIST)     Hybrid Journal   (Followers: 7)
ACM Transactions on Interactive Intelligent Systems (TiiS)     Hybrid Journal   (Followers: 3)
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: 7)
ACM Transactions on Speech and Language Processing (TSLP)     Hybrid Journal   (Followers: 8)
ACM Transactions on Storage     Hybrid Journal  
ACS Applied Materials & Interfaces     Full-text available via subscription   (Followers: 28)
Acta Automatica Sinica     Full-text available via subscription   (Followers: 2)
Acta Universitatis Cibiniensis. Technical Series     Open Access  
Ad Hoc Networks     Hybrid Journal   (Followers: 11)
Adaptive Behavior     Hybrid Journal   (Followers: 11)
Advanced Engineering Materials     Hybrid Journal   (Followers: 28)
Advanced Science Letters     Full-text available via subscription   (Followers: 10)
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: 2)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 19)
Advances in Computer Science : an International Journal     Open Access   (Followers: 15)
Advances in Computing     Open Access   (Followers: 2)
Advances in Data Analysis and Classification     Hybrid Journal   (Followers: 51)
Advances in Engineering Software     Hybrid Journal   (Followers: 27)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 13)
Advances in Human Factors/Ergonomics     Full-text available via subscription   (Followers: 22)
Advances in Human-Computer Interaction     Open Access   (Followers: 19)
Advances in Materials Sciences     Open Access   (Followers: 14)
Advances in Operations Research     Open Access   (Followers: 12)
Advances in Parallel Computing     Full-text available via subscription   (Followers: 6)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Remote Sensing     Open Access   (Followers: 44)
Advances in Science and Research (ASR)     Open Access   (Followers: 5)
Advances in Technology Innovation     Open Access   (Followers: 5)
AEU - International Journal of Electronics and Communications     Hybrid Journal   (Followers: 8)
African Journal of Information and Communication     Open Access   (Followers: 8)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 4)
AI EDAM     Hybrid Journal  
Air, Soil & Water Research     Open Access   (Followers: 11)
AIS Transactions on Human-Computer Interaction     Open Access   (Followers: 5)
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: 5)
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: 11)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 12)
Annals of Pure and Applied Logic     Open Access   (Followers: 2)
Annals of Software Engineering     Hybrid Journal   (Followers: 13)
Annual Reviews in Control     Hybrid Journal   (Followers: 6)
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: 2)
Applied Clinical Informatics     Hybrid Journal   (Followers: 2)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 11)
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: 10)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Soft Computing     Hybrid Journal   (Followers: 16)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 4)
Applied System Innovation     Open Access  
Architectural Theory Review     Hybrid Journal   (Followers: 3)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 5)
Archive of Numerical Software     Open Access  
Archives and Museum Informatics     Hybrid Journal   (Followers: 142)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5)
arq: Architectural Research Quarterly     Hybrid Journal   (Followers: 7)
Artifact     Hybrid Journal   (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 Computer Science and Information Technology     Open Access  
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: 4)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Automatica     Hybrid Journal   (Followers: 11)
Automation in Construction     Hybrid Journal   (Followers: 6)
Autonomous Mental Development, IEEE Transactions on     Hybrid Journal   (Followers: 9)
Basin Research     Hybrid Journal   (Followers: 5)
Behaviour & Information Technology     Hybrid Journal   (Followers: 52)
Big Data and Cognitive Computing     Open Access   (Followers: 2)
Biodiversity Information Science and Standards     Open Access  
Bioinformatics     Hybrid Journal   (Followers: 291)
Biomedical Engineering     Hybrid Journal   (Followers: 15)
Biomedical Engineering and Computational Biology     Open Access   (Followers: 13)
Biomedical Engineering, IEEE Reviews in     Full-text available via subscription   (Followers: 21)
Biomedical Engineering, IEEE Transactions on     Hybrid Journal   (Followers: 37)
Briefings in Bioinformatics     Hybrid Journal   (Followers: 45)
British Journal of Educational Technology     Hybrid Journal   (Followers: 148)
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  
Canadian Journal of Electrical and Computer Engineering     Full-text available via subscription   (Followers: 14)
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: 14)
ChemSusChem     Hybrid Journal   (Followers: 7)
China Communications     Full-text available via subscription   (Followers: 7)
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 2)
CIN Computers Informatics Nursing     Full-text available via subscription   (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)
Cluster Computing     Hybrid Journal   (Followers: 1)
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: 12)
Communication Theory     Hybrid Journal   (Followers: 20)
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 Partial Differential Equations     Hybrid Journal   (Followers: 3)
Communications of the ACM     Full-text available via subscription   (Followers: 52)
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  
Computational and Applied Mathematics     Hybrid Journal   (Followers: 2)
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: 2)
Computational and Theoretical Chemistry     Hybrid Journal   (Followers: 9)
Computational Astrophysics and Cosmology     Open Access   (Followers: 1)
Computational Biology and Chemistry     Hybrid Journal   (Followers: 11)
Computational Chemistry     Open Access   (Followers: 2)
Computational Cognitive Science     Open Access   (Followers: 2)
Computational Complexity     Hybrid Journal   (Followers: 4)
Computational Condensed Matter     Open Access  
Computational Ecology and Software     Open Access   (Followers: 9)
Computational Economics     Hybrid Journal   (Followers: 9)
Computational Geosciences     Hybrid Journal   (Followers: 15)
Computational Linguistics     Open Access   (Followers: 23)
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: 7)
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: 30)
Computer     Full-text available via subscription   (Followers: 94)
Computer Aided Surgery     Hybrid Journal   (Followers: 6)
Computer Applications in Engineering Education     Hybrid Journal   (Followers: 8)
Computer Communications     Hybrid Journal   (Followers: 16)
Computer Engineering and Applications Journal     Open Access   (Followers: 5)
Computer Journal     Hybrid Journal   (Followers: 9)
Computer Methods in Applied Mechanics and Engineering     Hybrid Journal   (Followers: 23)
Computer Methods in Biomechanics and Biomedical Engineering     Hybrid Journal   (Followers: 12)
Computer Methods in the Geosciences     Full-text available via subscription   (Followers: 2)
Computer Music Journal     Hybrid Journal   (Followers: 19)

        1 2 3 4 5 6 | Last

Journal Cover Applied Categorical Structures
  [SJR: 0.361]   [H-I: 21]   [2 followers]  Follow
    
   Hybrid Journal Hybrid journal (It can contain Open Access articles)
   ISSN (Print) 1572-9095 - ISSN (Online) 0927-2852
   Published by Springer-Verlag Homepage  [2350 journals]
  • The Category of Matroids
    • Authors: Chris Heunen; Vaia Patta
      Pages: 205 - 237
      Abstract: The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful and having a nearly full Kan extension; there is a functor to the category of geometric lattices, that is nearly full; there are various adjunctions and free constructions on subcategories, inducing a simplification monad; there are two orthogonal factorization systems; some, but not many, combinatorial constructions from matroid theory are functorial. Finally, a characterization of matroids in terms of optimality of the greedy algorithm can be rephrased in terms of limits.
      PubDate: 2018-04-01
      DOI: 10.1007/s10485-017-9490-2
      Issue No: Vol. 26, No. 2 (2018)
       
  • The Auslander–Reiten Components Seen as Quasi-Hereditary Categories
    • Authors: Martín Ortiz-Morales
      Pages: 239 - 285
      Abstract: Quasi-hereditary algebras were introduced by E. Cline, B. Parshall and L. Scott in order to deal with highest weight categories as they arise in the representation theory of semi-simple complex Lie algebras and algebraic groups. These categories have been a very important tool in the study of finite-dimensional algebras. On the other hand, functor categories were introduced in representation theory by M. Auslander, and used in his proof of the first Brauer–Thrall conjecture and later used systematically in his joint work with I. Reiten on stable equivalence, as well as many other applications. Recently, functor categories were used by Martínez-Villa and Solberg to study the Auslander–Reiten components of finite-dimensional algebras. The aim of the paper is to introduce the concept of quasi-hereditary category. We can think of the Auslander–Reiten components as quasi-hereditary categories. In this way, we have applications to the functor category \(\mathrm {Mod}(\mathcal {C} )\) , with \(\mathcal C\) a component of the Auslander–Reiten quiver.
      PubDate: 2018-04-01
      DOI: 10.1007/s10485-017-9493-z
      Issue No: Vol. 26, No. 2 (2018)
       
  • Operations on Categories of Modules are Given by Schur Functors
    • Authors: Martin Brandenburg
      Pages: 287 - 308
      Abstract: Let k be a commutative \(\mathbb {Q}\) -algebra. We study families of functors between categories of finitely generated modules which are defined for all commutative k-algebras simultaneously and are compatible with base changes. These operations turn out to be Schur functors associated to k-linear representations of symmetric groups. This result is closely related to Macdonald’s classification of polynomial functors.
      PubDate: 2018-04-01
      DOI: 10.1007/s10485-017-9494-y
      Issue No: Vol. 26, No. 2 (2018)
       
  • Generalized Tilting Theory
    • Authors: Pedro Nicolás; Manuel Saorín
      Pages: 309 - 368
      Abstract: Given small dg categories A and B and a B-A-bimodule T, we give necessary and sufficient conditions for the associated derived functors of Hom and the tensor product to be fully faithful. Special emphasis is put on the case when RHom \(_\mathrm{A}\) (T,') is fully faithful and preserves compact objects, in which case nice recollements situations appear. It is also shown that, given an algebraic compactly generated triangulated category D, all compactly generated co-smashing triangulated subcategories which contain the compact objects appear as the image of such a RHom \(_\mathrm{A}\) (T,'). The results are then applied to the case when A and B are ordinary algebras, comparing the situation with the well-stablished tilting theory of modules. In this way we recover and extend recent results by Bazzoni–Mantese–Tonolo, Chen-Xi and D. Yang.
      PubDate: 2018-04-01
      DOI: 10.1007/s10485-017-9495-x
      Issue No: Vol. 26, No. 2 (2018)
       
  • Convex Spaces, Affine Spaces, and Commutants for Algebraic Theories
    • Authors: Rory B. B. Lucyshyn-Wright
      Pages: 369 - 400
      Abstract: Certain axiomatic notions of affine space over a ring and convex space over a preordered ring are examples of the notion of \(\mathscr {T}\) -algebra for an algebraic theory \(\mathscr {T}\) in the sense of Lawvere. Herein we study the notion of commutant for Lawvere theories that was defined by Wraith and generalizes the notion of centralizer clone. We focus on the Lawvere theory of left R -affine spaces for a ring or rig R, proving that this theory can be described as a commutant of the theory of pointed right R-modules. Further, we show that for a wide class of rigs R that includes all rings, these theories are commutants of one another in the full finitary theory of R in the category of sets. We define left R -convex spaces for a preordered ring R as left affine spaces over the positive part \(R_+\) of R. We show that for any firmly archimedean preordered algebra R over the dyadic rationals, the theories of left R-convex spaces and pointed right \(R_+\) -modules are commutants of one another within the full finitary theory of \(R_+\) in the category of sets. Applied to the ring of real numbers \(\mathbb {R}\) , this result shows that the connection between convex spaces and pointed \(\mathbb {R}_+\) -modules that is implicit in the integral representation of probability measures is a perfect ‘duality’ of algebraic theories.
      PubDate: 2018-04-01
      DOI: 10.1007/s10485-017-9496-9
      Issue No: Vol. 26, No. 2 (2018)
       
  • A New Proof of the Nešetřil–Rödl Theorem
    • Authors: Dragan Mašulović
      Pages: 401 - 412
      Abstract: In this paper we give a new proof of the Nešetřil–Rödl Theorem, a deep result of discrete mathematics which is one of the cornerstones of the structural Ramsey theory. In contrast to the well-known proofs which employ intricate combinatorial strategies, this proof is spelled out in the language of category theory and the main result follows by applying several simple categorical constructions. The gain from the approach we present here is that, instead of giving the proof in the form of a large combinatorial construction, we can start from a few building blocks and then combine them into the final proof using general principles.
      PubDate: 2018-04-01
      DOI: 10.1007/s10485-017-9500-4
      Issue No: Vol. 26, No. 2 (2018)
       
  • 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)
       
  • Infinitary Addition, Real Numbers, and Taut Monads
    • Authors: George Janelidze; Ross Street
      Abstract: We make various observations on infinitary addition in the context of the series monoids introduced in our previous paper on real sets. In particular, we explore additional conditions on such monoids suggested by Tarski’s Arithmetic of Cardinal Algebras, and present a monad-theoretic construction that generalizes our construction of paradoxical real numbers.
      PubDate: 2018-04-18
      DOI: 10.1007/s10485-018-9524-4
       
  • Meet-Semilattice Congruences on a Frame
    • Authors: John Frith; Anneliese Schauerte
      Abstract: The congruence lattice of a frame has long been an object of considerable interest, not least because it turns out to be a frame itself. Perhaps more surprisingly congruence lattices of, for instance, \(\sigma \) -frames, \(\kappa \) -frames and some partial frames also turn out to be frames. The situation for congruences of a meet-semilattice is notably different. In this paper we analyze the meet-semilattice congruence lattices of arbitrary frames and compare them with the corresponding lattices of frame congruences. In the course of this, we provide a structure theorem as well as many examples and counter-examples.
      PubDate: 2018-04-13
      DOI: 10.1007/s10485-018-9521-7
       
  • Cowellpoweredness of Some Categories of Quasi-Uniform Spaces
    • Authors: Dikran Dikranjan; Hans-Peter A. Künzi
      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-04-07
      DOI: 10.1007/s10485-018-9523-5
       
  • From Observables and States to Hilbert Space and Back: A 2-Categorical
           Adjunction
    • Authors: Arthur J. Parzygnat
      Abstract: Given a representation of a \(C^*\) -algebra, thought of as an abstract collection of physical observables, together with a unit vector, one obtains a state on the algebra via restriction. We show that the Gelfand–Naimark–Segal (GNS) construction furnishes a left adjoint of this restriction. To properly formulate this adjoint, it must be viewed as a weak natural transformation, a 1-morphism in a suitable 2-category, rather than as a functor between categories. Weak naturality encodes the functoriality and the universal property of adjunctions encodes the characterizing features of the GNS construction. Mathematical definitions and results are accompanied by physical interpretations.
      PubDate: 2018-03-23
      DOI: 10.1007/s10485-018-9522-6
       
  • Remarks Concerning Certain Function Rings in Pointfree Topology
    • Authors: B. Banaschewski
      Abstract: For the \(\ell \) -ring F(L) introduced in Karimi Feizabadi et al. (Categ Gen Algebr Struct Appl 5:85–102, 2016) and then shown to have an embedding into the familiar \(\ell \) -ring \({\mathfrak R}L\) of all real-valued continuous function on a frame L, the resulting image \({\mathfrak S}L\) in \({\mathfrak R}L\) is characterized here by internal properties within \({\mathfrak R}L\) . Further, a number of results concerning the \({\mathfrak S}L\) are obtained on the basis of this characterization.
      PubDate: 2018-03-19
      DOI: 10.1007/s10485-018-9514-6
       
  • On Flasque Sheaves and Flasque Modules
    • Authors: Stefan Schröer
      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-03-08
      DOI: 10.1007/s10485-018-9520-8
       
  • Fraïssé Limits in Comma Categories
    • Authors: Christian Pech; Maja Pech
      Abstract: Fraïssé’s theorem characterizing the existence of universal homogeneous structures is a cornerstone of model theory. A categorical version of these results was developed by Droste and Göbel. Such an abstract version of Fraïssé theory allows to construct unusual objects that are far away from the usual structures. In this paper we are going to derive sufficient conditions for a comma category to contain universal homogeneous objects. Using this criterion, we characterize homogeneous structures that possess universal homogeneous endomorphisms. The existence of such endomorphisms helps to reduce questions about the full endomorphism monoid to the self-embedding monoid of the structure. As another application we characterize the retracts of homogeneous structures that are induced by universal homogeneous retractions. This extends previous results by Bonato, Delić, Mudrinski, Dolinka, and Kubiś.
      PubDate: 2018-02-28
      DOI: 10.1007/s10485-018-9519-1
       
  • A Synthetic Version of Lie’s Second Theorem
    • Authors: Matthew Burke
      Abstract: We formulate and prove a generalisation of Lie’s second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with groupoids. Secondly we include groupoids whose underlying spaces are not smooth manifolds. The main intended application is when we replace the category of smooth manifolds with a well-adapted model of synthetic differential geometry. In addition we provide an axiomatic system that provides all the abstract structure that is required to prove Lie’s second theorem.
      PubDate: 2018-02-27
      DOI: 10.1007/s10485-018-9518-2
       
  • 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
       
 
 
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.166.212.152
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-