for Journals by Title or ISSN for Articles by Keywords help
 Subjects -> COMPUTER SCIENCE (Total: 1988 journals)     - ANIMATION AND SIMULATION (29 journals)    - ARTIFICIAL INTELLIGENCE (99 journals)    - AUTOMATION AND ROBOTICS (100 journals)    - CLOUD COMPUTING AND NETWORKS (63 journals)    - COMPUTER ARCHITECTURE (9 journals)    - COMPUTER ENGINEERING (9 journals)    - COMPUTER GAMES (16 journals)    - COMPUTER PROGRAMMING (23 journals)    - COMPUTER SCIENCE (1153 journals)    - COMPUTER SECURITY (45 journals)    - DATA BASE MANAGEMENT (13 journals)    - DATA MINING (32 journals)    - E-BUSINESS (22 journals)    - E-LEARNING (27 journals)    - ELECTRONIC DATA PROCESSING (21 journals)    - IMAGE AND VIDEO PROCESSING (40 journals)    - INFORMATION SYSTEMS (104 journals)    - INTERNET (92 journals)    - SOCIAL WEB (50 journals)    - SOFTWARE (33 journals)    - THEORY OF COMPUTING (8 journals) COMPUTER SCIENCE (1153 journals)                  1 2 3 4 5 6 | Last
 Showing 1 - 200 of 872 Journals sorted alphabetically 3D Printing and Additive Manufacturing       (Followers: 14) Abakós       (Followers: 3) Academy of Information and Management Sciences Journal       (Followers: 68) ACM Computing Surveys       (Followers: 22) ACM Journal on Computing and Cultural Heritage       (Followers: 9) ACM Journal on Emerging Technologies in Computing Systems       (Followers: 13) ACM Transactions on Accessible Computing (TACCESS)       (Followers: 3) ACM Transactions on Algorithms (TALG)       (Followers: 16) ACM Transactions on Applied Perception (TAP)       (Followers: 6) ACM Transactions on Architecture and Code Optimization (TACO)       (Followers: 9) ACM Transactions on Autonomous and Adaptive Systems (TAAS)       (Followers: 7) ACM Transactions on Computation Theory (TOCT)       (Followers: 11) ACM Transactions on Computational Logic (TOCL)       (Followers: 4) ACM Transactions on Computer Systems (TOCS)       (Followers: 18) ACM Transactions on Computer-Human Interaction       (Followers: 12) ACM Transactions on Computing Education (TOCE)       (Followers: 3) ACM Transactions on Design Automation of Electronic Systems (TODAES)       (Followers: 1) ACM Transactions on Economics and Computation ACM Transactions on Embedded Computing Systems (TECS)       (Followers: 4) ACM Transactions on Information Systems (TOIS)       (Followers: 20) ACM Transactions on Intelligent Systems and Technology (TIST)       (Followers: 9) ACM Transactions on Interactive Intelligent Systems (TiiS)       (Followers: 4) ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)       (Followers: 10) ACM Transactions on Reconfigurable Technology and Systems (TRETS)       (Followers: 7) ACM Transactions on Sensor Networks (TOSN)       (Followers: 8) ACM Transactions on Speech and Language Processing (TSLP)       (Followers: 11) ACM Transactions on Storage ACS Applied Materials & Interfaces       (Followers: 21) Acta Automatica Sinica       (Followers: 3) Acta Universitatis Cibiniensis. Technical Series Ad Hoc Networks       (Followers: 11) Adaptive Behavior       (Followers: 11) Advanced Engineering Materials       (Followers: 26) Advanced Science Letters       (Followers: 7) Advances in Adaptive Data Analysis       (Followers: 8) Advances in Artificial Intelligence       (Followers: 16) Advances in Calculus of Variations       (Followers: 2) Advances in Catalysis       (Followers: 5) Advances in Computational Mathematics       (Followers: 15) Advances in Computer Science : an International Journal       (Followers: 13) Advances in Computing       (Followers: 2) Advances in Data Analysis and Classification       (Followers: 54) Advances in Engineering Software       (Followers: 25) Advances in Geosciences (ADGEO)       (Followers: 10) Advances in Human Factors/Ergonomics       (Followers: 25) Advances in Human-Computer Interaction       (Followers: 20) Advances in Materials Sciences       (Followers: 16) Advances in Operations Research       (Followers: 11) Advances in Parallel Computing       (Followers: 7) Advances in Porous Media       (Followers: 4) Advances in Remote Sensing       (Followers: 37) Advances in Science and Research (ASR)       (Followers: 6) Advances in Technology Innovation       (Followers: 1) AEU - International Journal of Electronics and Communications       (Followers: 8) African Journal of Information and Communication       (Followers: 6) African Journal of Mathematics and Computer Science Research       (Followers: 4) Air, Soil & Water Research       (Followers: 7) AIS Transactions on Human-Computer Interaction       (Followers: 6) Algebras and Representation Theory       (Followers: 1) Algorithms       (Followers: 11) American Journal of Computational and Applied Mathematics       (Followers: 4) American Journal of Computational Mathematics       (Followers: 4) American Journal of Information Systems       (Followers: 7) American Journal of Sensor Technology       (Followers: 2) Anais da Academia Brasileira de CiÃªncias       (Followers: 2) Analog Integrated Circuits and Signal Processing       (Followers: 5) Analysis in Theory and Applications       (Followers: 1) Animation Practice, Process & Production       (Followers: 5) Annals of Combinatorics       (Followers: 3) Annals of Data Science       (Followers: 9) Annals of Mathematics and Artificial Intelligence       (Followers: 6) Annals of Pure and Applied Logic       (Followers: 2) Annals of Software Engineering       (Followers: 12) Annual Reviews in Control       (Followers: 6) Anuario Americanista Europeo Applicable Algebra in Engineering, Communication and Computing       (Followers: 2) Applied and Computational Harmonic Analysis       (Followers: 2) Applied Artificial Intelligence: An International Journal       (Followers: 14) Applied Categorical Structures       (Followers: 2) Applied Clinical Informatics       (Followers: 2) Applied Computational Intelligence and Soft Computing       (Followers: 12) Applied Computer Systems       (Followers: 1) Applied Informatics Applied Mathematics and Computation       (Followers: 32) Applied Medical Informatics       (Followers: 10) Applied Numerical Mathematics       (Followers: 5) Applied Soft Computing       (Followers: 16) Applied Spatial Analysis and Policy       (Followers: 4) Architectural Theory Review       (Followers: 3) Archive of Applied Mechanics       (Followers: 4) Archive of Numerical Software Archives and Museum Informatics       (Followers: 121) Archives of Computational Methods in Engineering       (Followers: 4) Artifact       (Followers: 2) Artificial Life       (Followers: 6) Asia Pacific Journal on Computational Engineering Asia-Pacific Journal of Information Technology and Multimedia       (Followers: 1) Asian Journal of Computer Science and Information Technology Asian Journal of Control Assembly Automation       (Followers: 2) at - Automatisierungstechnik       (Followers: 1) Australian Educational Computing Automatic Control and Computer Sciences       (Followers: 3) Automatic Documentation and Mathematical Linguistics       (Followers: 5) Automatica       (Followers: 9) Automation in Construction       (Followers: 6) Autonomous Mental Development, IEEE Transactions on       (Followers: 8) Basin Research       (Followers: 5) Behaviour & Information Technology       (Followers: 52) Bioinformatics       (Followers: 246) Biomedical Engineering       (Followers: 16) Biomedical Engineering and Computational Biology       (Followers: 13) Biomedical Engineering, IEEE Reviews in       (Followers: 17) Biomedical Engineering, IEEE Transactions on       (Followers: 32) Briefings in Bioinformatics       (Followers: 45) British Journal of Educational Technology       (Followers: 126) Broadcasting, IEEE Transactions on       (Followers: 10) c't Magazin fuer Computertechnik       (Followers: 2) CALCOLO Calphad Canadian Journal of Electrical and Computer Engineering       (Followers: 14) Catalysis in Industry       (Followers: 1) CEAS Space Journal Cell Communication and Signaling       (Followers: 1) Central European Journal of Computer Science       (Followers: 5) CERN IdeaSquare Journal of Experimental Innovation Chaos, Solitons & Fractals       (Followers: 3) Chemometrics and Intelligent Laboratory Systems       (Followers: 15) ChemSusChem       (Followers: 7) China Communications       (Followers: 7) Chinese Journal of Catalysis       (Followers: 2) CIN Computers Informatics Nursing       (Followers: 12) Circuits and Systems       (Followers: 16) Clean Air Journal       (Followers: 2) CLEI Electronic Journal Clin-Alert       (Followers: 1) Cluster Computing       (Followers: 1) Cognitive Computation       (Followers: 4) COMBINATORICA Combustion Theory and Modelling       (Followers: 13) Communication Methods and Measures       (Followers: 11) Communication Theory       (Followers: 19) Communications Engineer       (Followers: 1) Communications in Algebra       (Followers: 3) Communications in Partial Differential Equations       (Followers: 3) Communications of the ACM       (Followers: 53) Communications of the Association for Information Systems       (Followers: 18) COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering       (Followers: 3) Complex & Intelligent Systems Complex Adaptive Systems Modeling Complex Analysis and Operator Theory       (Followers: 2) Complexity       (Followers: 6) Complexus Composite Materials Series       (Followers: 9) Computación y Sistemas Computation Computational and Applied Mathematics       (Followers: 2) Computational and Mathematical Methods in Medicine       (Followers: 2) Computational and Mathematical Organization Theory       (Followers: 2) Computational and Structural Biotechnology Journal       (Followers: 2) Computational and Theoretical Chemistry       (Followers: 9) Computational Astrophysics and Cosmology       (Followers: 1) Computational Biology and Chemistry       (Followers: 12) Computational Chemistry       (Followers: 2) Computational Cognitive Science       (Followers: 2) Computational Complexity       (Followers: 4) Computational Condensed Matter Computational Ecology and Software       (Followers: 8) Computational Economics       (Followers: 9) Computational Geosciences       (Followers: 14) Computational Linguistics       (Followers: 23) Computational Management Science Computational Mathematics and Modeling       (Followers: 8) Computational Mechanics       (Followers: 4) Computational Methods and Function Theory Computational Molecular Bioscience       (Followers: 2) Computational Optimization and Applications       (Followers: 7) Computational Particle Mechanics       (Followers: 1) Computational Research       (Followers: 1) Computational Science and Discovery       (Followers: 2) Computational Science and Techniques Computational Statistics       (Followers: 13) Computational Statistics & Data Analysis       (Followers: 29) Computer       (Followers: 84) Computer Aided Surgery       (Followers: 3) Computer Applications in Engineering Education       (Followers: 6) Computer Communications       (Followers: 10) Computer Engineering and Applications Journal       (Followers: 5) Computer Journal       (Followers: 7) Computer Methods in Applied Mechanics and Engineering       (Followers: 22) Computer Methods in Biomechanics and Biomedical Engineering       (Followers: 10) Computer Methods in the Geosciences       (Followers: 1) Computer Music Journal       (Followers: 14) Computer Physics Communications       (Followers: 6) Computer Science - Research and Development       (Followers: 7) Computer Science and Engineering       (Followers: 17) Computer Science and Information Technology       (Followers: 11) Computer Science Education       (Followers: 12) Computer Science Journal       (Followers: 20) Computer Science Master Research       (Followers: 10)
 Applied Categorical Structures   [SJR: 0.361]   [H-I: 21]   [2 followers]  Follow         Hybrid journal (It can contain Open Access articles)    ISSN (Print) 1572-9095 - ISSN (Online) 0927-2852    Published by Springer-Verlag  [2353 journals]
• Representations of Crossed Modules and Other Generalized
Yetter-Drinfel’d Modules
• Authors: Victoria Lebed; Friedrich Wagemann
Pages: 455 - 488
Abstract: Abstract The Yang-Baxter equation plays a fundamental role in various areas of mathematics. Its solutions, called braidings, are built, among others, from Yetter-Drinfel’d modules over a Hopf algebra, from self-distributive structures, and from crossed modules of groups. In the present paper these three sources of solutions are unified inside the framework of Yetter-Drinfel’d modules over a braided system. A systematic construction of braiding structures on such modules is provided. Some general categorical methods of obtaining such generalized Yetter-Drinfel’d (=GYD) modules are described. Among the braidings recovered using these constructions are the Woronowicz and the Hennings braidings on a Hopf algebra. We also introduce the notions of crossed modules of shelves / Leibniz algebras, and interpret them as GYD modules. This yields new sources of braidings. We discuss whether these braidings stem from a braided monoidal category, and discover several non-strict pre-tensor categories with interesting associators.
PubDate: 2017-08-01
DOI: 10.1007/s10485-015-9421-z
Issue No: Vol. 25, No. 4 (2017)

• On an Enhancement of the Category of Shifted L ∞ -Algebras
• Authors: Vasily A. Dolgushev; Christopher L. Rogers
Pages: 489 - 503
Abstract: Abstract We construct a symmetric monoidal category $${\mathfrak {S}}\mathsf {Lie}_{\infty }^{\text {MC}}$$ whose objects are shifted L ∞ -algebras equipped with a complete descending filtration. Morphisms of this category are “enhanced” infinity morphisms between shifted L ∞ -algebras. We prove that any category enriched over $${\mathfrak {S}}\mathsf {Lie}_{\infty }^{\text {MC}}$$ can be integrated to a simplicial category whose mapping spaces are Kan complexes. The advantage gained by using enhanced morphisms is that we can see much more of the simplicial world from the L ∞ -algebra point of view. We use this construction in a subsequent paper (Dolgushev et al. Adv. Math. 274, 562–605, 2015) to produce a simplicial model of a (∞,1)-category whose objects are homotopy algebras of a fixed type.
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9424-4
Issue No: Vol. 25, No. 4 (2017)

• Splitting of Operads and Rota-Baxter Operators on Operads
• Authors: Jun Pei; Chengming Bai; Li Guo
Pages: 505 - 538
Abstract: Abstract This paper establishes a procedure that splits the operations in any algebraic operad, generalizing previous notions of splitting algebraic structures, from the dendriform algebra of Loday splitting the associative operation to the successors splitting binary operads. The separately treated bisuccessor and trisuccessor for binary operads are unified for general operads through the notion of configuration. Applications are provided for various n-algebras, the $$A_{\infty }$$ and $$L_{\infty }$$ algebras. Further, the concept of a Rota-Baxter operator, first showing its importance in the associative and Lie algebra contexts and then generalized to binary operads, is defined for all operads. The well-known connection from Rota-Baxter operators to dendriform algebras and its numerous extensions are expanded as the link from (relative) Rota-Baxter operators on operads to splittings of the operads
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9431-5
Issue No: Vol. 25, No. 4 (2017)

• Equivariantization and Serre Duality I
• Authors: Xiao-Wu Chen
Pages: 539 - 568
Abstract: Abstract For an additive category with a Serre duality and a finite group action, we compute explicitly the Serre duality on the category of equivariant objects. We prove that under certain conditions, the equivarianzation of an additive category with a periodic Serre duality still has a periodic Serre duality. A similar result is proved for fractionally Calabi-Yau triangulated categories.
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9432-4
Issue No: Vol. 25, No. 4 (2017)

• Katětov Functors
• Authors: Wiesław Kubiś; Dragan Mašulović
Pages: 569 - 602
Abstract: Abstract We develop a theory of Katětov functors which provide a uniform way of constructing Fraïssé limits. Among applications, we present short proofs and improvements of several recent results on the structure of the group of automorphisms and the semigroup of endomorphisms of some Fraïssé limits.
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9461-z
Issue No: Vol. 25, No. 4 (2017)

• The Gray Tensor Product Via Factorisation
• Authors: John Bourke; Nick Gurski
Pages: 603 - 624
Abstract: Abstract We discuss the folklore construction of the Gray tensor product of 2-categories as obtained by factoring the map from the funny tensor product to the cartesian product. We show that this factorisation can be obtained without using a concrete presentation of the Gray tensor product, but merely its defining universal property, and use it to give another proof that the Gray tensor product forms part of a symmetric monoidal structure. The main technical tool is a method of producing new algebra structures over Lawvere 2-theories from old ones via a factorisation system.
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9467-6
Issue No: Vol. 25, No. 4 (2017)

• Adjunctions of Quasi-Functors Between DG-Categories
• Authors: Francesco Genovese
Pages: 625 - 657
Abstract: Abstract We study right quasi-representable differential graded bimodules as quasi-functors between dg-categories. We prove that a quasi-functor has a left adjoint if and only if it is left quasi-representable. With this characterisation, we prove an existence result of adjoints, under suitable hypotheses on the dg-categories.
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9470-y
Issue No: Vol. 25, No. 4 (2017)

• A New Characterisation of Groups Amongst Monoids
• Authors: Xabier García-Martínez
Pages: 659 - 661
Abstract: Abstract We prove that a monoid M is a group if and only if, in the category of monoids, all points over M are strong. This sharpens and greatly simplifies a result of Montoli, Rodelo and Van der Linden (Pré-Publicações DMUC 16–21, 1–41 2016) which characterises groups amongst monoids as the protomodular objects.
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9471-x
Issue No: Vol. 25, No. 4 (2017)

• Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig
of a Prextensive Category
• Authors: M. Menni
Pages: 663 - 707
Abstract: Abstract We extend the work of Schanuel, Lawvere, Blass and Gates in Objective Number Theory by proving that, for any $${L(X) \in \mathbb {N}[X]}$$ , the rig $${\mathbb {N}[X]/(X = L(X))}$$ is the Burnside rig of a prextensive category.
PubDate: 2017-08-01
DOI: 10.1007/s10485-016-9475-6
Issue No: Vol. 25, No. 4 (2017)

• Coverages Give Free Constructions for Partial Frames
• Authors: John Frith; Anneliese Schauerte
Pages: 303 - 321
Abstract: Abstract Defining objects using generators and relations has seen substantial application in the theory of frames. It is the aim of this paper to establish such a technique for partial frames, thus making it available in a variety of contexts. A partial frame is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. The designated subsets in question are specified by means of a so-called selection function. The theory is general enough to include, as examples, bounded distributive lattices, σ-frames, κ-frames and indeed frames, but a small collection of elementary axioms suffices to describe the selection functions and thus the designated subsets. In this paper we are concerned with establishing techniques for constructing objects given certain generators and the relations that they should satisfy. Our method involves embedding the generators in an appropriate meet-semilattice, moving to the free partial frame over that meet-semilattice, and then using the relations to form a quotient with the required joins. We use a modification of Johnstone’s coverages on meet-semilattices [12] to construct partial frames freely generated by sites. We conclude with a number of applications, including the construction of coproducts for partial frames and a general method for freely adjoining complements.
PubDate: 2017-06-01
DOI: 10.1007/s10485-015-9417-8
Issue No: Vol. 25, No. 3 (2017)

• Quasicategories of Frames of Cofibration Categories
• Authors: Krzysztof Kapulkin; Karol Szumiło
Pages: 323 - 347
Abstract: Abstract We show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization.
PubDate: 2017-06-01
DOI: 10.1007/s10485-015-9422-y
Issue No: Vol. 25, No. 3 (2017)

• Compactification: Limit Tower Spaces
• Authors: H. Boustique; G. Richardson
Pages: 349 - 361
Abstract: Abstract Convergence approach spaces, defined by E. Lowen and R. Lowen, possess both quantitative and topological properties. These spaces are equipped with a structure which provides information as to whether or not a sequence or filter approximately converges. P. Brock and D. Kent showed that the category of convergence approach spaces with contractions as morphisms is isomorphic to the category of limit tower spaces. It is shown below that every limit tower space has a compactification. Moreover, a characterization of the limit tower spaces which possess a strongly regular compactification is given here. Further, a strongly regular S-compactification of a limit tower space is studied, where S is a limit tower monoid acting on the limit tower space.
PubDate: 2017-06-01
DOI: 10.1007/s10485-016-9426-2
Issue No: Vol. 25, No. 3 (2017)

• Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality
• Authors: Guram Bezhanishvili; Nick Bezhanishvili; Sumit Sourabh; Yde Venema
Pages: 381 - 401
Abstract: Abstract By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras (complete Boolean algebras endowed with a proximity-like relation). We provide an alternative “modal-like” duality by introducing the concept of a Gleason space, which is a pair (X,R), where X is an extremally disconnected compact Hausdorff space and R is an irreducible equivalence relation on X. Our main result states that the category of Gleason spaces is equivalent to the category of compact Hausdorff spaces, and is dually equivalent to the category of de Vries algebras.
PubDate: 2017-06-01
DOI: 10.1007/s10485-016-9434-2
Issue No: Vol. 25, No. 3 (2017)

• Bohr Compactifications of Algebras and Structures
• Authors: B. A. Davey; M. Haviar; H. A. Priestley
Pages: 403 - 430
Abstract: This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad picture: the Bohr compactification of an abelian group via Pontryagin duality, the zero-dimensional Bohr compactification of a semilattice, and the Nachbin order-compactification of an ordered set. The notion of a natural extension functor is extended to suitable categories of structures and such a functor is shown to yield a reflection into an associated category of topological structures. Our principal results address reconciliation of the natural extension with the Bohr compactification or its zero-dimensional variant. In certain cases the natural extension functor and a Bohr compactification functor are the same; in others the functors have different codomains but may agree on all objects. Coincidence in the stronger sense occurs in the zero-dimensional setting precisely when the domain is a category of structures whose associated topological prevariety is standard. It occurs, in the weaker sense only, for the class of ordered sets and, as we show, also for infinitely many classes of ordered structures. Coincidence results aid understanding of Bohr-type compactifications, which are defined abstractly. Ideas from natural duality theory lead to an explicit description of the natural extension which is particularly amenable for any prevariety of algebras with a finite, dualisable, generator. Examples of such classes—often varieties—are plentiful and varied, and in many cases the associated topological prevariety is standard.
PubDate: 2017-06-01
DOI: 10.1007/s10485-016-9436-0
Issue No: Vol. 25, No. 3 (2017)

• A Lax Approach to Neighbourhood Operators
• Authors: A. Razafindrakoto; D. Holgate
Pages: 431 - 445
Abstract: Abstract Viewing neighbourhood operators as lax natural transformations introduces an efficiency in calculations and proofs and suggests further applications. To highlight the advantages of this approach, classes of open, closed, initial and final morphisms are studied. In addition new proofs are given to previous results and a new example that departs from the current factorisation system paradigm is exhibited.
PubDate: 2017-06-01
DOI: 10.1007/s10485-016-9441-3
Issue No: Vol. 25, No. 3 (2017)

• Relative Cohomology of Algebraic Theories
• Authors: Simeon Pol’shin
Pages: 447 - 453
Abstract: Abstract We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda embedding.
PubDate: 2017-06-01
DOI: 10.1007/s10485-016-9466-7
Issue No: Vol. 25, No. 3 (2017)

• On the Maps of Pointfree Topology Which Preserve the Rings of
Integervalued Continuous Functions
• Authors: B. Banaschewski
Abstract: Abstract This paper establishes various conditions characterizing the homomorphisms $$h: L \rightarrow M$$ of 0-dimensional frames which induce an isomorphism between the rings of all integervalued continuous function, or their bounded parts, on L and M, based on the Lindelöf and the compact coreflection of 0-dimensional frames. This provides natural analogues of familiar results concerning the realvalued continuous functions on completely regular frames, albeit by rather different methods of proof from those originally used in that setting. In addition, it will be shown that the present approach also leads to alternative proofs for the latter.
PubDate: 2017-07-17
DOI: 10.1007/s10485-017-9499-6

• A New Proof of the Nešetřil–Rödl Theorem
• Authors: Dragan Mašulović
Abstract: 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: 2017-07-15
DOI: 10.1007/s10485-017-9500-4

• More on the Functor Induced by z -Ideals
• Authors: Oghenetega Ighedo
Abstract: Abstract An ideal I of a commutative ring A with identity is called a z-ideal if whenever two elements of A belong to the same maximal ideals and one of the elements is in I, then so is the other. For a completely regular frame L we denote by $${{\mathrm{ZId}}}(\mathcal {R}L)$$ the lattice of z-ideals of the ring $$\mathcal {R}L$$ of continuous real-valued functions on L. It is a coherent frame, and it is known that $$L\mapsto {{\mathrm{ZId}}}(\mathcal {R}L)$$ is the object part of a functor $$\mathsf {Z}:\mathbf {CRFrm}\rightarrow \mathbf {CohFrm}$$ , where $$\mathbf {CRFrm}$$ is the category of completely regular frames and frame homomorphisms, and $$\mathbf {CohFrm}$$ is the category of coherent frames and coherent maps. We explore when this functor preserves and reflects the property of being a Heyting homomorphism, and also when it preserves and reflects the variants of openness of Banaschewski and Pultr (Appl Categ Struct 2:331–350, 1994). We also record some other properties of this functor that have hitherto not been stated anywhere.
PubDate: 2017-06-21
DOI: 10.1007/s10485-017-9498-7

• Monads on Higher Monoidal Categories
• Authors: Marcelo Aguiar; Mariana Haim; Ignacio López Franco
Abstract: Abstract We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad. Monoidal monads and comonoidal monads appear as the base cases in this hierarchy. Monads acting on duoidal categories constitute the next case. We cover the general case of n-monoidal categories and discuss several naturally occurring examples in which $$n\le 3$$ .
PubDate: 2017-06-05
DOI: 10.1007/s10485-017-9497-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.145.95.149

About JournalTOCs
API
Help
News (blog, publications)

JournalTOCs © 2009-2016