Subjects -> COMPUTER SCIENCE (Total: 2313 journals)
    - ANIMATION AND SIMULATION (33 journals)
    - ARTIFICIAL INTELLIGENCE (133 journals)
    - AUTOMATION AND ROBOTICS (116 journals)
    - CLOUD COMPUTING AND NETWORKS (75 journals)
    - COMPUTER ARCHITECTURE (11 journals)
    - COMPUTER ENGINEERING (12 journals)
    - COMPUTER GAMES (23 journals)
    - COMPUTER PROGRAMMING (25 journals)
    - COMPUTER SCIENCE (1305 journals)
    - COMPUTER SECURITY (59 journals)
    - DATA BASE MANAGEMENT (21 journals)
    - DATA MINING (50 journals)
    - E-BUSINESS (21 journals)
    - E-LEARNING (30 journals)
    - ELECTRONIC DATA PROCESSING (23 journals)
    - IMAGE AND VIDEO PROCESSING (42 journals)
    - INFORMATION SYSTEMS (109 journals)
    - INTERNET (111 journals)
    - SOCIAL WEB (61 journals)
    - SOFTWARE (43 journals)
    - THEORY OF COMPUTING (10 journals)

COMPUTER SCIENCE (1305 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: 27)
Abakós     Open Access   (Followers: 3)
ACM Computing Surveys     Hybrid Journal   (Followers: 29)
ACM Inroads     Full-text available via subscription   (Followers: 1)
ACM Journal of Computer Documentation     Free   (Followers: 4)
ACM Journal on Computing and Cultural Heritage     Hybrid Journal   (Followers: 5)
ACM Journal on Emerging Technologies in Computing Systems     Hybrid Journal   (Followers: 11)
ACM SIGACCESS Accessibility and Computing     Free   (Followers: 2)
ACM SIGAPP Applied Computing Review     Full-text available via subscription  
ACM SIGBioinformatics Record     Full-text available via subscription  
ACM SIGEVOlution     Full-text available via subscription  
ACM SIGHIT Record     Full-text available via subscription  
ACM SIGHPC Connect     Full-text available via subscription  
ACM SIGITE Newsletter     Open Access   (Followers: 1)
ACM SIGMIS Database: the DATABASE for Advances in Information Systems     Hybrid Journal  
ACM SIGUCCS plugged in     Full-text available via subscription  
ACM SIGWEB Newsletter     Full-text available via subscription   (Followers: 3)
ACM Transactions on Accessible Computing (TACCESS)     Hybrid Journal   (Followers: 3)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 13)
ACM Transactions on Applied Perception (TAP)     Hybrid Journal   (Followers: 3)
ACM Transactions on Architecture and Code Optimization (TACO)     Hybrid Journal   (Followers: 9)
ACM Transactions on Asian and Low-Resource Language Information Processing (TALLIP)     Hybrid Journal  
ACM Transactions on Autonomous and Adaptive Systems (TAAS)     Hybrid Journal   (Followers: 10)
ACM Transactions on Computation Theory (TOCT)     Hybrid Journal   (Followers: 11)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 5)
ACM Transactions on Computer Systems (TOCS)     Hybrid Journal   (Followers: 19)
ACM Transactions on Computer-Human Interaction     Hybrid Journal   (Followers: 15)
ACM Transactions on Computing Education (TOCE)     Hybrid Journal   (Followers: 9)
ACM Transactions on Computing for Healthcare     Hybrid Journal  
ACM Transactions on Cyber-Physical Systems (TCPS)     Hybrid Journal   (Followers: 1)
ACM Transactions on Design Automation of Electronic Systems (TODAES)     Hybrid Journal   (Followers: 5)
ACM Transactions on Economics and Computation     Hybrid Journal  
ACM Transactions on Embedded Computing Systems (TECS)     Hybrid Journal   (Followers: 4)
ACM Transactions on Information Systems (TOIS)     Hybrid Journal   (Followers: 18)
ACM Transactions on Intelligent Systems and Technology (TIST)     Hybrid Journal   (Followers: 11)
ACM Transactions on Interactive Intelligent Systems (TiiS)     Hybrid Journal   (Followers: 6)
ACM Transactions on Internet of Things     Hybrid Journal   (Followers: 2)
ACM Transactions on Modeling and Performance Evaluation of Computing Systems (ToMPECS)     Hybrid Journal  
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)     Hybrid Journal   (Followers: 10)
ACM Transactions on Parallel Computing     Full-text available via subscription  
ACM Transactions on Reconfigurable Technology and Systems (TRETS)     Hybrid Journal   (Followers: 6)
ACM Transactions on Sensor Networks (TOSN)     Hybrid Journal   (Followers: 9)
ACM Transactions on Social Computing     Hybrid Journal  
ACM Transactions on Spatial Algorithms and Systems (TSAS)     Hybrid Journal   (Followers: 1)
ACM Transactions on Speech and Language Processing (TSLP)     Hybrid Journal   (Followers: 11)
ACM Transactions on Storage     Hybrid Journal  
ACS Applied Materials & Interfaces     Hybrid Journal   (Followers: 39)
Acta Informatica Malaysia     Open Access  
Acta Universitatis Cibiniensis. Technical Series     Open Access   (Followers: 1)
Ad Hoc Networks     Hybrid Journal   (Followers: 12)
Adaptive Behavior     Hybrid Journal   (Followers: 8)
Additive Manufacturing Letters     Open Access   (Followers: 3)
Advanced Engineering Materials     Hybrid Journal   (Followers: 32)
Advanced Science Letters     Full-text available via subscription   (Followers: 9)
Advances in Adaptive Data Analysis     Hybrid Journal   (Followers: 9)
Advances in Artificial Intelligence     Open Access   (Followers: 31)
Advances in Catalysis     Full-text available via subscription   (Followers: 7)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 20)
Advances in Computer Engineering     Open Access   (Followers: 13)
Advances in Computer Science : an International Journal     Open Access   (Followers: 18)
Advances in Computing     Open Access   (Followers: 3)
Advances in Data Analysis and Classification     Hybrid Journal   (Followers: 52)
Advances in Engineering Software     Hybrid Journal   (Followers: 26)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 19)
Advances in Human-Computer Interaction     Open Access   (Followers: 19)
Advances in Image and Video Processing     Open Access   (Followers: 20)
Advances in Materials Science     Open Access   (Followers: 19)
Advances in Multimedia     Open Access   (Followers: 1)
Advances in Operations Research     Open Access   (Followers: 13)
Advances in Remote Sensing     Open Access   (Followers: 59)
Advances in Science and Research (ASR)     Open Access   (Followers: 8)
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: 6)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 5)
AI EDAM     Hybrid Journal   (Followers: 2)
Air, Soil & Water Research     Open Access   (Followers: 6)
AIS Transactions on Human-Computer Interaction     Open Access   (Followers: 5)
Al-Qadisiyah Journal for Computer Science and Mathematics     Open Access   (Followers: 2)
AL-Rafidain Journal of Computer Sciences and Mathematics     Open Access   (Followers: 3)
Algebras and Representation Theory     Hybrid Journal  
Algorithms     Open Access   (Followers: 13)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 8)
American Journal of Computational Mathematics     Open Access   (Followers: 6)
American Journal of Information Systems     Open Access   (Followers: 4)
American Journal of Sensor Technology     Open Access   (Followers: 2)
Analog Integrated Circuits and Signal Processing     Hybrid Journal   (Followers: 15)
Animation Practice, Process & Production     Hybrid Journal   (Followers: 4)
Annals of Combinatorics     Hybrid Journal   (Followers: 3)
Annals of Data Science     Hybrid Journal   (Followers: 14)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 16)
Annals of Pure and Applied Logic     Open Access   (Followers: 4)
Annals of Software Engineering     Hybrid Journal   (Followers: 12)
Annual Reviews in Control     Hybrid Journal   (Followers: 7)
Anuario Americanista Europeo     Open Access  
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 3)
Applied and Computational Harmonic Analysis     Full-text available via subscription  
Applied Artificial Intelligence: An International Journal     Hybrid Journal   (Followers: 17)
Applied Categorical Structures     Hybrid Journal   (Followers: 4)
Applied Clinical Informatics     Hybrid Journal   (Followers: 4)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 16)
Applied Computer Systems     Open Access   (Followers: 6)
Applied Computing and Geosciences     Open Access   (Followers: 3)
Applied Mathematics and Computation     Hybrid Journal   (Followers: 31)
Applied Medical Informatics     Open Access   (Followers: 11)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 4)
Applied Soft Computing     Hybrid Journal   (Followers: 13)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 5)
Applied System Innovation     Open Access   (Followers: 1)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 4)
Archive of Numerical Software     Open Access  
Archives and Museum Informatics     Hybrid Journal   (Followers: 97)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5)
arq: Architectural Research Quarterly     Hybrid Journal   (Followers: 7)
Array     Open Access   (Followers: 1)
Artifact : Journal of Design Practice     Open Access   (Followers: 8)
Artificial Life     Hybrid Journal   (Followers: 7)
Asian Journal of Computer Science and Information Technology     Open Access   (Followers: 3)
Asian Journal of Control     Hybrid Journal  
Asian Journal of Research in Computer Science     Open Access   (Followers: 4)
Assembly Automation     Hybrid Journal   (Followers: 2)
Automatic Control and Computer Sciences     Hybrid Journal   (Followers: 6)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Automatica     Hybrid Journal   (Followers: 13)
Automatika : Journal for Control, Measurement, Electronics, Computing and Communications     Open Access  
Automation in Construction     Hybrid Journal   (Followers: 8)
Balkan Journal of Electrical and Computer Engineering     Open Access  
Basin Research     Hybrid Journal   (Followers: 7)
Behaviour & Information Technology     Hybrid Journal   (Followers: 32)
BenchCouncil Transactions on Benchmarks, Standards, and Evaluations     Open Access   (Followers: 3)
Big Data and Cognitive Computing     Open Access   (Followers: 5)
Big Data Mining and Analytics     Open Access   (Followers: 10)
Biodiversity Information Science and Standards     Open Access   (Followers: 1)
Bioinformatics     Hybrid Journal   (Followers: 216)
Bioinformatics Advances : Journal of the International Society for Computational Biology     Open Access   (Followers: 1)
Biomedical Engineering     Hybrid Journal   (Followers: 11)
Biomedical Engineering and Computational Biology     Open Access   (Followers: 11)
Briefings in Bioinformatics     Hybrid Journal   (Followers: 43)
British Journal of Educational Technology     Hybrid Journal   (Followers: 93)
Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics and Mathematics     Open Access  
c't Magazin fuer Computertechnik     Full-text available via subscription   (Followers: 1)
Cadernos do IME : Série Informática     Open Access  
CALCOLO     Hybrid Journal  
CALICO Journal     Full-text available via subscription   (Followers: 1)
Calphad     Hybrid Journal  
Canadian Journal of Electrical and Computer Engineering     Full-text available via subscription   (Followers: 14)
Catalysis in Industry     Hybrid Journal  
CCF Transactions on High Performance Computing     Hybrid Journal  
CCF Transactions on Pervasive Computing and Interaction     Hybrid Journal  
CEAS Space Journal     Hybrid Journal   (Followers: 6)
Cell Communication and Signaling     Open Access   (Followers: 3)
Central European Journal of Computer Science     Hybrid Journal   (Followers: 4)
CERN IdeaSquare Journal of Experimental Innovation     Open Access  
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 1)
Chaos, Solitons & Fractals : X     Open Access   (Followers: 1)
Chemometrics and Intelligent Laboratory Systems     Hybrid Journal   (Followers: 13)
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)
Chip     Full-text available via subscription   (Followers: 2)
Ciencia     Open Access  
CIN : Computers Informatics Nursing     Hybrid Journal   (Followers: 11)
Circuits and Systems     Open Access   (Followers: 16)
CLEI Electronic Journal     Open Access  
Clin-Alert     Hybrid Journal   (Followers: 1)
Clinical eHealth     Open Access  
Cluster Computing     Hybrid Journal   (Followers: 1)
Cognitive Computation     Hybrid Journal   (Followers: 2)
Cognitive Computation and Systems     Open Access  
COMBINATORICA     Hybrid Journal  
Combinatorics, Probability and Computing     Hybrid Journal   (Followers: 4)
Combustion Theory and Modelling     Hybrid Journal   (Followers: 18)
Communication Methods and Measures     Hybrid Journal   (Followers: 12)
Communication Theory     Hybrid Journal   (Followers: 29)
Communications in Algebra     Hybrid Journal   (Followers: 1)
Communications in Partial Differential Equations     Hybrid Journal   (Followers: 2)
Communications of the ACM     Full-text available via subscription   (Followers: 59)
Communications of the Association for Information Systems     Open Access   (Followers: 15)
Communications on Applied Mathematics and Computation     Hybrid Journal   (Followers: 1)
COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering     Hybrid Journal   (Followers: 4)
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: 8)
Computación y Sistemas     Open Access  
Computation     Open Access   (Followers: 1)
Computational and Applied Mathematics     Hybrid Journal   (Followers: 3)
Computational and Mathematical Methods     Hybrid Journal  
Computational and Mathematical Methods in Medicine     Open Access   (Followers: 2)
Computational and Mathematical Organization Theory     Hybrid Journal   (Followers: 1)
Computational and Structural Biotechnology Journal     Open Access   (Followers: 1)
Computational and Theoretical Chemistry     Hybrid Journal   (Followers: 11)
Computational Astrophysics and Cosmology     Open Access   (Followers: 6)
Computational Biology and Chemistry     Hybrid Journal   (Followers: 13)
Computational Biology Journal     Open Access   (Followers: 6)
Computational Brain & Behavior     Hybrid Journal   (Followers: 1)
Computational Chemistry     Open Access   (Followers: 3)
Computational Communication Research     Open Access   (Followers: 1)
Computational Complexity     Hybrid Journal   (Followers: 5)
Computational Condensed Matter     Open Access   (Followers: 1)

        1 2 3 4 5 6 7 | Last

Similar Journals
Journal Cover
Applied Categorical Structures
Journal Prestige (SJR): 0.49
Number of Followers: 4  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1572-9095 - ISSN (Online) 0927-2852
Published by Springer-Verlag Homepage  [2469 journals]
  • The Booleanization of a d-frame

    • Free pre-print version: Loading...

      Abstract: The concepts of Booleanization and of smallest dense quotient are explored in the context of d-frames. These two notions coincide for frames, but bitopologically they turn out to be different. The approach followed here is different from that in (Moshier in On Isbell’s density theorem for bitopological pointfree spaces I 273:106962, 2020), in which the smallest dense extremal epimorphism of a d-frame is described. Here, we consider the lattice of all quotients of a d-frame, extremal and nonextremal. Here, it is shown that for corrigible d-frames there is a smallest dense quotient, and it is shown that this coincides with the Booleanization of a d-frame: this is a construction which, as in the frame theoretical case, gives us the Boolean reflection of a d-frame in a suitable subcategory of the category of d-frames.
      PubDate: 2022-06-01
       
  • String and Band Complexes Over String Almost Gentle Algebras

    • Free pre-print version: Loading...

      Abstract: We give a combinatorial description of a family of indecomposable objects in the bounded derived categories of two new classes of algebras: string almost gentle (SAG) algebras and SUMP algebras. These indecomposable objects are, up to isomorphism, the string and band complexes introduced by Bekkert and Merklen (Algebras Rep Theory 6:285–302, 2003). With this description, we give a necessary and sufficient condition for a given string complex to have infinite minimal projective resolution and we extend this condition for the case of string algebras. Using this characterization we establish a sufficient condition for a string almost gentle algebra (or a string algebra) to have infinite global dimension.
      PubDate: 2022-06-01
       
  • General Facts on the Scott Adjunction

    • Free pre-print version: Loading...

      Abstract: We introduce, comment and develop the Scott adjunction, mostly from the point of view of a category theorist. Besides its technical and conceptual aspects, in a nutshell we provide a categorification of the Scott topology over a posets with directed suprema. From a technical point of view we establish an adjunction between accessible categories with directed colimits and Grothendieck topoi. We show that the bicategory of topoi is enriched over the 2-category of accessible categories with directed colimits and it has tensors with respect to this enrichment. The Scott adjunction (re-)emerges naturally from this observation.
      PubDate: 2022-06-01
       
  • The Karoubi envelope and weak idempotent completion of an extriangulated
           category

    • Free pre-print version: Loading...

      Abstract: We show that the idempotent completion and weak idempotent completion of an extriangulated category are also extriangulated.
      PubDate: 2022-06-01
       
  • Tietze Equivalences as Weak Equivalences

    • Free pre-print version: Loading...

      Abstract: A given monoid usually admits many presentations by generators and relations and the notion of Tietze equivalence characterizes when two presentations describe the same monoid: it is the case when one can transform one presentation into the other using the two families of so-called Tietze transformations. The goal of this article is to provide an abstract and geometrical understanding of this well-known fact, by constructing a model structure on the category of presentations, in which two presentations are weakly equivalent when they present the same monoid. We show that Tietze transformations form a pseudo-generating family of trivial cofibrations and give a proof of the completeness of these transformations by an abstract argument in this setting.
      PubDate: 2022-06-01
       
  • A Relative Silting Theorem

    • Free pre-print version: Loading...

      Abstract: Silting theorem gives a generalization of the classical tilting theorem of Brenner and Butler for a 2-term silting complex. In this paper, we give a relative version of a silting theorem for any abelian category which is a finite R-variety over some commutative Artinian ring R. To this end, the notion of relative silting complexes is introduced and it is shown that they play a similar role as silting complexes. It is shown that if \({\mathcal {X}} \) is a subcategory of \({\mathcal {A}} \) which is a dualizing R-variety and \({\mathbf {X}}\in {\mathbb {K}} ^{{\mathrm{b}}}({\mathcal {X}} )\) is a 2-term \({\mathcal {X}} \) -relative silting complex, then there are two torsion pairs, in \({\mathcal {A}} \) and in \({\mathrm{{mod{-}}}}{\mathrm{End}}({\mathbf {X}})^{\mathrm{op}}\) together with a pair of crosswise equivalences between torsion and torsion-free classes.
      PubDate: 2022-06-01
       
  • Dold–Kan Correspondence, Revisited

    • Free pre-print version: Loading...

      Abstract: We describe Dold–Kan correspondence for an idempotent complete additive category \({{\mathscr {A}}}\) . Our approach is based on a family of idempotents in \({\mathbb {Z}}\Delta \) . We represent the obtained normalised complex equivalence of the category of simplicial objects in \({{\mathscr {A}}}\) and the category of non-negatively graded chain complexes in \({{\mathscr {A}}}\) , \(N:s{{\mathscr {A}}}\rightarrow \text {Ch}_{\geqslant 0}({{\mathscr {A}}})\) , as a coend. Explicit formulae for the right adjoint equivalence \(K:\text {Ch}_{\geqslant 0}({{\mathscr {A}}})\rightarrow s{{\mathscr {A}}}\) are obtained. It is shown that the functors N, K preserve the homotopy relation. Similar results are obtained for cosimplicial objects.
      PubDate: 2022-06-01
       
  • Morphisms and Pushouts in Compact Normal Joinfit Frames

    • Free pre-print version: Loading...

      Abstract: \(\mathfrak {KNJ}\) is the category of compact normal joinfit frames and frame homomorphisms and \(\mathfrak {KReg}\) is the coreflective subcategory of compact regular frames. This work investigates \(\mathfrak {KNJ}\) through its interaction with \(\mathfrak {KReg}\) via the coreflection \(\rho \) . A \(\mathfrak {KNJ}\) morphism \(\phi : F \longrightarrow M\) is \(\mathcal {P}\) -essential if \(\phi \) is skeletal and the map between the frames of polars, \(\mathcal {P}(\phi ): \mathcal {P}F \longrightarrow \mathcal {P}M\) defined by \(\mathcal {P}(\phi )(p)=\phi (p)^{\perp \perp }\) , is a boolean isomorphism. The \(\mathcal {P}\) -essential morphisms in \(\mathfrak {KNJ}\) are closely related to the essential embeddings in \(\mathfrak {KReg}\) . We provide a characterization of the \(\mathcal {P}\) -essential morphisms in \(\mathfrak {KNJ}\) and a connection to the essential embeddings in \(\mathfrak {KReg}\) . Further results about the preservation of joinfitness, the factorization of morphisms, and monomorphisms in \(\mathfrak {KNJ}\) are provided. Moreover, in the category of \(\mathfrak {KNJ}\) objects and skeletal frame homomorphisms, \(\mathfrak {KNJS}\) , we construct for \(F \in \mathfrak {KNJ}\) and \(\phi :\rho F \longrightarrow H\) (an arbitrary \(\mathfrak {KReg}\) essential embedding of \(\rho F\) ) the \(\mathfrak {KNJS}\) pushout of \(\rho _F: \rho F \longrightarrow F\) and \(\phi : \rho F \longrightarrow H\) . Lastly, we investigate the epimorphisms and epicomplete objects in \(\mathfrak {KNJS}\) .
      PubDate: 2022-05-05
       
  • Grothendieck Enriched Categories

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper, we introduce the notion of Grothendieck enriched categories for categories enriched over a sufficiently nice Grothendieck monoidal category \(\mathcal {V}\) , generalizing the classical notion of Grothendieck categories. Then we establish the Gabriel-Popescu type theorem for Grothendieck enriched categories. We also prove that the property of being Grothendieck enriched categories is preserved under the change of the base monoidal categories by a monoidal right adjoint functor. In particular, if we take as \(\mathcal {V}\) the monoidal category of complexes of abelian groups, we obtain the notion of Grothendieck dg categories. As an application of the main results, we see that the dg category of complexes of quasi-coherent sheaves on a quasi-compact and quasi-separated scheme is an example of Grothendieck dg categories.
      PubDate: 2022-05-02
       
  • On the Composition of Three Irreducible Morphisms in the Bounded Homotopy
           Category

    • Free pre-print version: Loading...

      Abstract: Abstract Let \(\Lambda \) be an artin algebra of finite global dimension. We study when the composition of three irreducible morphisms between indecomposable complexes in \({{\mathbf {K}}^{b}(\mathrm {proj}\,\Lambda )}\) is a non-zero morphism in the fourth power of the radical. We apply such results to prove that the composition of three irreducible morphisms between indecomposable complexes in the bounded derived category of a gentle Nakayama algebra, not selfinjective, whose ordinary quiver is an oriented cycle, belongs to the fourth power of the radical if and only if it vanishes.
      PubDate: 2022-04-26
       
  • Correction to: The Karoubi envelope and weak idempotent completion of an
           extriangulated category

    • Free pre-print version: Loading...

      Abstract: A Correction to this paper has been published: 10.1007/s10485-021-09664-8
      PubDate: 2022-04-22
       
  • Internal Enriched Categories

    • Free pre-print version: Loading...

      Abstract: Abstract We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. Then, we contextualize the new notion by comparing it to another known generalization of enrichment: that of enrichment for indexed categories. It turns out that the two notions are closely related.
      PubDate: 2022-04-19
       
  • Maps with Discrete Fibers and the Origin of Basepoints

    • Free pre-print version: Loading...

      Abstract: Abstract Let \({p : \mathcal {E}\rightarrow \mathcal S}\) be a hyperconnected geometric morphism. For each X in the ‘gros’ topos \(\mathcal {E}\) , there is a hyperconnected geometric morphism \({p_X : \mathcal {E}/X \rightarrow \mathcal S(X)}\) from the slice over X to the ‘petit’ topos of maps (over X) with discrete fibers. We show that if p is essential then \(p_X\) is essential for every X. The proof involves the idea of collapsing a connected subspace to a ‘basepoint’, as in Algebraic Topology, but formulated in topos-theoretic terms. In case p is local, we characterize when \({p_X}\) is local for every X. This is a very restrictive property, typical of toposes of spaces of dimension \({\le 1}\) .
      PubDate: 2022-04-08
       
  • Projective and Reedy Model Category Structures for (Infinitesimal)
           Bimodules over an Operad

    • Free pre-print version: Loading...

      Abstract: Abstract We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we build explicit cofibrant and fibrant replacements. We show that these categories are right proper and under some conditions left proper. We also study the extension/restriction adjunctions.
      PubDate: 2022-04-08
       
  • Isbell Adjunctions and Kan Adjunctions via Quantale-Enriched Two-Variable
           Adjunctions

    • Free pre-print version: Loading...

      Abstract: Abstract It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions constructed from suitable associated two-variable adjunctions. Representation theorems are established for fixed points of these adjunctions.
      PubDate: 2022-04-01
      DOI: 10.1007/s10485-021-09654-w
       
  • Split Extensions and Actions of Bialgebras and Hopf Algebras

    • Free pre-print version: Loading...

      Abstract: Abstract We introduce a notion of split extension of (non-associative) bialgebras which generalizes the notion of split extension of magmas introduced by M. Gran, G. Janelidze and M. Sobral. We show that this definition is equivalent to the notion of action of (non-associative) bialgebras. We particularize this equivalence to (non-associative) Hopf algebras by defining split extensions of (non-associative) Hopf algebras and proving that they are equivalent to actions of (non-associative) Hopf algebras. Moreover, we prove the validity of the Split Short Five Lemma for these kinds of split extensions, and we examine some examples.
      PubDate: 2022-04-01
      DOI: 10.1007/s10485-021-09659-5
       
  • A New Diagonal Separation and its Relations With the Hausdorff Property

    • Free pre-print version: Loading...

      Abstract: Abstract Let \({\mathcal {P}}\) be a property of subobjects relevant in a category \({\mathcal {C}}\) . An object \(X\in {\mathcal {C}}\) is \({\mathcal {P}}\) -separated if the diagonal in \(X\times X\) has \({\mathcal {P}}\) ; thus e.g. closedness in the category of topological spaces (resp. locales) induces the Hausdorff (resp. strong Hausdorff) axiom. In this paper we study the locales (frames) in which the diagonal is fitted (i.e., an intersection of open sublocales—we speak about \({\mathcal {F}}\) -separated locales). Recall that a locale is fit if each of its sublocales is fitted. Since this property is inherited by products and sublocales, fitness implies ( \({\mathcal {F}}\) sep) which is shown to be strictly weaker (one of the results of this paper). We show that ( \({\mathcal {F}}\) sep) is in a parallel with the strong Hausdorff axiom (sH): (1) it is characterized by a Dowker-Strauss type property of the combinatorial structure of the systems of frame homomorphisms \(L\rightarrow M\) (and therefore, in particular, it implies \((T_U)\) for analogous reasons like (sH) does), and (2) in a certain duality with (sH) it is characterized in L by all almost homomorphisms (frame homomorphisms with slightly relaxed join-requirement) \(L\rightarrow M\) being frame homomorphisms (while one has such a characteristic of (sH) with weak homomorphisms, where meet-requirement is relaxed).
      PubDate: 2022-04-01
      DOI: 10.1007/s10485-021-09655-9
       
  • Categorical Extension of Dualities: From Stone to de Vries and Beyond, I

    • Free pre-print version: Loading...

      Abstract: Abstract Propounding a general categorical framework for the extension of dualities, we present a new proof of the de Vries Duality Theorem for the category KHaus of compact Hausdorff spaces and their continuous maps, as an extension of a restricted Stone duality. Then, applying a dualization of the categorical framework to the de Vries duality, we give an alternative proof of the extension of the de Vries duality to the category Tych of Tychonoff spaces that was provided by Bezhanishvili, Morandi and Olberding. In the process of doing so, we obtain new duality theorems for both categories, KHaus and Tych.
      PubDate: 2022-04-01
      DOI: 10.1007/s10485-021-09658-6
       
  • Pseudo-Dualizing Complexes of Bicomodules and Pairs of t-Structures

    • Free pre-print version: Loading...

      Abstract: Abstract This paper is a coalgebra version of Positselski (Rendiconti Seminario Matematico Univ. Padova 143: 153–225, 2020) and a sequel to Positselski (Algebras and Represent Theory 21(4):737–767, 2018). We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras \({\mathcal {C}}\) and  \({\mathcal {D}}\) . For any such complex \({\mathcal {L}}^{\scriptstyle \bullet }\) , we construct a triangulated category endowed with a pair of (possibly degenerate) t-structures of the derived type, whose hearts are the abelian categories of left \({\mathcal {C}}\) -comodules and left \({\mathcal {D}}\) -contramodules. A weak version of pseudo-derived categories arising out of (co)resolving subcategories in abelian/exact categories with enough homotopy adjusted complexes is also considered. Quasi-finiteness conditions for coalgebras, comodules, and contramodules are discussed as a preliminary material.
      PubDate: 2022-04-01
      DOI: 10.1007/s10485-021-09660-y
       
  • On the De Morgan’s Laws for Modules

    • Free pre-print version: Loading...

      Abstract: Abstract In this investigation we give a module-theoretic counterpart of the well known De Morgan’s laws for rings and topological spaces. We observe that the module-theoretic De Morgan’s laws are related with semiprime modules and modules in which the annihilator of any fully invariant submodule is a direct summand. Also, we give a general treatment of De Morgan’s laws for ordered structures (idiomatic-quantales). At the end, the manuscript goes back to the ring theoretic realm, in this case we study the non-commutative counterpart of Dedekind domains, and we describe Asano prime rings using the strong De Morgan law.
      PubDate: 2022-04-01
      DOI: 10.1007/s10485-021-09656-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
 


Your IP address: 3.239.129.91
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-