for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> COMPUTER SCIENCE (Total: 2072 journals)
    - ANIMATION AND SIMULATION (31 journals)
    - ARTIFICIAL INTELLIGENCE (102 journals)
    - AUTOMATION AND ROBOTICS (105 journals)
    - CLOUD COMPUTING AND NETWORKS (63 journals)
    - COMPUTER ARCHITECTURE (10 journals)
    - COMPUTER ENGINEERING (11 journals)
    - COMPUTER GAMES (21 journals)
    - COMPUTER PROGRAMMING (26 journals)
    - COMPUTER SCIENCE (1202 journals)
    - COMPUTER SECURITY (46 journals)
    - DATA BASE MANAGEMENT (14 journals)
    - DATA MINING (36 journals)
    - E-BUSINESS (22 journals)
    - E-LEARNING (29 journals)
    - ELECTRONIC DATA PROCESSING (22 journals)
    - IMAGE AND VIDEO PROCESSING (40 journals)
    - INFORMATION SYSTEMS (107 journals)
    - INTERNET (93 journals)
    - SOCIAL WEB (51 journals)
    - SOFTWARE (33 journals)
    - THEORY OF COMPUTING (8 journals)

COMPUTER SCIENCE (1202 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: 20)
Abakós     Open Access   (Followers: 4)
ACM Computing Surveys     Hybrid Journal   (Followers: 28)
ACM Journal on Computing and Cultural Heritage     Hybrid Journal   (Followers: 8)
ACM Journal on Emerging Technologies in Computing Systems     Hybrid Journal   (Followers: 14)
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: 15)
ACM Transactions on Computing Education (TOCE)     Hybrid Journal   (Followers: 6)
ACM Transactions on Design Automation of Electronic Systems (TODAES)     Hybrid Journal   (Followers: 5)
ACM Transactions on Economics and Computation     Hybrid Journal   (Followers: 1)
ACM Transactions on Embedded Computing Systems (TECS)     Hybrid Journal   (Followers: 4)
ACM Transactions on Information Systems (TOIS)     Hybrid Journal   (Followers: 19)
ACM Transactions on Intelligent Systems and Technology (TIST)     Hybrid Journal   (Followers: 8)
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: 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: 31)
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: 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: 4)
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: 54)
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: 20)
Advances in Materials Science     Open Access   (Followers: 14)
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: 49)
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  
Air, Soil & Water Research     Open Access   (Followers: 12)
AIS Transactions on Human-Computer Interaction     Open Access   (Followers: 6)
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: 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)
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: 2)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 12)
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: 5)
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: 144)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5)
arq: Architectural Research Quarterly     Hybrid Journal   (Followers: 8)
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   (Followers: 1)
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: 5)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Automatica     Hybrid Journal   (Followers: 12)
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: 305)
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: 50)
British Journal of Educational Technology     Hybrid Journal   (Followers: 143)
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: 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: 22)
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: 3)
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: 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: 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  
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: 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: 98)
Computer Aided Surgery     Open Access   (Followers: 6)
Computer Applications in Engineering Education     Hybrid Journal   (Followers: 8)
Computer Communications     Hybrid Journal   (Followers: 16)
Computer Journal     Hybrid Journal   (Followers: 9)
Computer Methods in Applied Mechanics and Engineering     Hybrid Journal   (Followers: 24)
Computer Methods in Biomechanics and Biomedical Engineering     Hybrid Journal   (Followers: 12)
Computer Methods in the Geosciences     Full-text available via subscription   (Followers: 2)

        1 2 3 4 5 6 7 | Last

Journal Cover
Applied Categorical Structures
Journal Prestige (SJR): 0.49
Number of Followers: 2  
 
  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]
  • Correction to: Infinitary Addition, Real Numbers, and Taut Monads
    • Abstract: In the original publication of the article, Eq. (3.24) was published incorrectly. The corrected equation is given in this correction article. The original article has been corrected.
      PubDate: 2018-10-01
       
  • Correction to: The Other Closure and Complete Sublocales
    • Abstract: In the original publication of the article, the formulation of the c-subfitness condition (c-sfit) in Subsection 5.2 is inaccurate, with effect in Theorem 5.3.
      PubDate: 2018-10-01
       
  • A Note on Colebunders–Lowen–Rosiers Monads
    • Abstract: Abstract We describe an alternative way of constructing some of the monads, recently introduced by E. Colebunders, R. Lowen, and W. Rosiers for the purposes of categorical topology.
      PubDate: 2018-10-01
       
  • The Other Closure and Complete Sublocales
    • Abstract: 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-10-01
       
  • A Formula for Codensity Monads and Density Comonads
    • Abstract: Abstract For a functor F whose codomain is a cocomplete, cowellpowered category \(\mathcal {K}\) with a generator S we prove that a codensity monad exists iff for every object s in S all natural transformations from \(\mathcal {K}(X, F-)\) to \(\mathcal {K}(s, F-)\) form a set. Moreover, the codensity monad has an explicit description using the above natural transformations. Concrete examples are presented, e.g., the codensity monad of the power-set functor \(\mathcal {P}\) assigns to every set X the set of all nonexpanding endofunctions of \(\mathcal {P}X\) . Dually, a set-valued functor F is proved to have a density comonad iff all natural transformations from \(X^F\) to \(2^F\) form a set. Moreover, that comonad assigns to X the set of all those transformations. For preimages-preserving endofunctors F of \({\mathsf {Set}}\) we prove that F has a density comonad iff F is accessible.
      PubDate: 2018-10-01
       
  • Remarks Concerning Certain Function Rings in Pointfree Topology
    • Abstract: 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-10-01
       
  • Meet-Semilattice Congruences on a Frame
    • Abstract: 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-10-01
       
  • An Approach Theoretic Version of Anscombe’s Theorem with an
           Application in Biostatistics
    • Abstract: 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-10-01
       
  • A Relative Monotone-Light Factorization System for Internal Groupoids
    • Abstract: 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-10-01
       
  • Met-Like Categories Amongst Concrete Topological Categories
    • Abstract: 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-10-01
       
  • Normality, Regularity and Contractive Realvalued Maps
    • Abstract: Abstract For approach spaces normality has been studied from different angles. One way of dealing with it is by focussing on separation by realvalued contractive maps or, equivalently, on Katětov–Tong’s insertion. We call this notion approach normality. Another point of view is using the isomorphism between the category \(\textsf {App}\) of approach spaces and contractions and the category of lax algebras for the ultrafilter monad and the quantale \(\textsf {P}_{\!\!{_+}}\) and applying the monoidal definition of normality. We call this notion monoidal normality. Although both normality properties coincide for topological approach spaces, a comparison of both notions for \(\textsf {App}\) is an open question. In this paper we present a partial solution to this problem. We show that in \(\textsf {App}\) approach normality implies monoidal normality and that both notions coincide on the subcategory of quasimetric approach spaces. Moreover we investigate the relation between approach normality and regularity. Among other things we prove that approach spaces that are approach normal and regular are uniform.
      PubDate: 2018-10-01
       
  • Filtered $$cA_\infty $$ c A ∞ -Categories and Functor Categories
    • Abstract: Abstract We develop the basic theory of curved \(A_{\infty }\) -categories ( \(cA_{\infty }\) -categories) in a filtered setting, encompassing the frameworks of Fukaya categories (Fukaya et al. in Part I, AMS/IP studies in advanced mathematics, vol 46, American Mathematical Society, Providence, RI, 2009) and weakly curved \(A_{\infty }\) -categories in the sense of Positselski (Weakly curved \(A_\infty \) algebras over a topological local ring, 2012. arxiv:1202.2697v3). Between two \(cA_{\infty }\) -categories \(\mathfrak {a}\) and \(\mathfrak {b}\) , we introduce a \(cA_{\infty }\) -category \(\mathsf {qFun}(\mathfrak {a}, \mathfrak {b})\) of so-called \(qA_{\infty }\) -functors in which the uncurved objects are precisely the \(cA_{\infty }\) -functors from \(\mathfrak {a}\) to \(\mathfrak {b}\) . The more general \(qA_{\infty }\) -functors allow us to consider representable modules, a feature which is lost if one restricts attention to \(cA_{\infty }\) -functors. We formulate a version of the Yoneda Lemma which shows every \(cA_{\infty }\) -category to be homotopy equivalent to a curved dg category, in analogy with the uncurved situation. We also present a curved version of the bar-cobar adjunction.
      PubDate: 2018-10-01
       
  • Infinitary Addition, Real Numbers, and Taut Monads
    • Abstract: 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-10-01
       
  • On Fibrations Between Internal Groupoids and Their Normalizations
    • Abstract: Abstract We characterize fibrations and \(*\) -fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. As an application, we deduce the internal version of the Brown exact sequence for \(*\) -fibrations from the internal version of the Gabriel–Zisman exact sequence. We also analyse fibrations and \(*\) -fibrations in the category of arrows and study when the normalization functor preserves and reflects them. This analysis allows us to give a characterization of protomodular categories using strong homotopy kernels and a generalization of the Snake Lemma.
      PubDate: 2018-10-01
       
  • Scott Approach Distance on Metric Spaces
    • Abstract: Abstract The notion of Scott distance between points and subsets in a metric space, a metric analogy of the Scott topology on an ordered set, is introduced, making a metric space into an approach space. Basic properties of Scott distance are investigated, including its topological coreflection and its relation to injective \(T_0\) approach spaces. It is proved that the topological coreflection of the Scott distance is sandwiched between the d-Scott topology and the generalized Scott topology; and that every injective \(T_0\) approach space is a cocomplete and continuous metric space equipped with its Scott distance.
      PubDate: 2018-10-01
       
  • Foreword
    • PubDate: 2018-09-15
      DOI: 10.1007/s10485-018-9540-4
       
  • Pseudoalgebras and Non-canonical Isomorphisms
    • Authors: Fernando Lucatelli Nunes
      Abstract: 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: 2018-09-15
      DOI: 10.1007/s10485-018-9541-3
       
  • Entourages, Density, Cauchy Maps, and Completion
    • Authors: Jorge Picado; Aleš Pultr
      Abstract: 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-09-15
      DOI: 10.1007/s10485-018-9542-2
       
  • 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
      Abstract: 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. http://www.cs.man.ac.uk/~hsimmons/00-IDSandMODS/002-Atom.pdf, 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: 2018-09-15
      DOI: 10.1007/s10485-018-9543-1
       
  • Categories of Locally Hypercompact Spaces and Quasicontinuous Posets
    • Authors: Marcel Erné
      Abstract: Abstract A subset of a topological space is hypercompact if its saturation (the intersection of its neighborhoods) is generated by a finite set. Locally hypercompact spaces are defined by the existence of hypercompact neighborhood bases at each point. We exhibit many useful properties of such spaces, often based on Rudin’s Lemma, which is equivalent to the Ultrafilter Principle and ensures that the Scott spaces of quasicontinuous domains are exactly the locally hypercompact sober spaces. We characterize their patch spaces (the Lawson spaces) as hyperconvex and hyperregular pospaces in which every monotone net has a supremum to which it converges. Moreover, we find extensions to the non-sober case by replacing suprema with cuts, and we provide topological generalizations of known facts for quasicontinuous posets. Similar results are obtained for hypercompactly based spaces and quasialgebraic posets. Furthermore, locally hypercompact spaces are described by certain relations between finite sets and points, providing a quasiuniform approach to such spaces. Our results lead to diverse old and new equivalences and dualities for categories of locally hypercompact spaces or quasicontinuous posets.
      PubDate: 2018-08-09
      DOI: 10.1007/s10485-018-9536-0
       
 
 
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.162.159.33
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-