Subjects -> MATHEMATICS (Total: 1100 journals)
    - APPLIED MATHEMATICS (88 journals)
    - GEOMETRY AND TOPOLOGY (23 journals)
    - MATHEMATICS (812 journals)
    - MATHEMATICS (GENERAL) (43 journals)
    - NUMERICAL ANALYSIS (24 journals)
    - PROBABILITIES AND MATH STATISTICS (110 journals)

MATHEMATICS (812 journals)                  1 2 3 4 5 | Last

Showing 1 - 200 of 538 Journals sorted alphabetically
Abakós     Open Access   (Followers: 5)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 4)
Academic Voices : A Multidisciplinary Journal     Open Access   (Followers: 2)
Accounting Perspectives     Full-text available via subscription   (Followers: 7)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 16)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 3)
ACM Transactions on Mathematical Software (TOMS)     Hybrid Journal   (Followers: 6)
ACS Applied Materials & Interfaces     Hybrid Journal   (Followers: 39)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1)
Acta Mathematica     Hybrid Journal   (Followers: 12)
Acta Mathematica Hungarica     Hybrid Journal   (Followers: 2)
Acta Mathematica Scientia     Full-text available via subscription   (Followers: 5)
Acta Mathematica Sinica, English Series     Hybrid Journal   (Followers: 6)
Acta Mathematica Vietnamica     Hybrid Journal  
Acta Mathematicae Applicatae Sinica, English Series     Hybrid Journal  
Advanced Science Letters     Full-text available via subscription   (Followers: 12)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 4)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 6)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Complex Systems     Hybrid Journal   (Followers: 10)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 23)
Advances in Decision Sciences     Open Access   (Followers: 4)
Advances in Difference Equations     Open Access   (Followers: 3)
Advances in Fixed Point Theory     Open Access   (Followers: 8)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 19)
Advances in Linear Algebra & Matrix Theory     Open Access   (Followers: 11)
Advances in Materials Science     Open Access   (Followers: 19)
Advances in Mathematical Physics     Open Access   (Followers: 8)
Advances in Mathematics     Full-text available via subscription   (Followers: 17)
Advances in Nonlinear Analysis     Open Access   (Followers: 1)
Advances in Numerical Analysis     Open Access   (Followers: 9)
Advances in Operations Research     Open Access   (Followers: 13)
Advances in Operator Theory     Hybrid Journal   (Followers: 4)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Pure and Applied Mathematics     Hybrid Journal   (Followers: 10)
Advances in Pure Mathematics     Open Access   (Followers: 11)
Advances in Science and Research (ASR)     Open Access   (Followers: 9)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2)
African Journal of Educational Studies in Mathematics and Sciences     Full-text available via subscription   (Followers: 9)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 7)
Afrika Matematika     Hybrid Journal   (Followers: 3)
Air, Soil & Water Research     Open Access   (Followers: 13)
AKSIOMA Journal of Mathematics Education     Open Access   (Followers: 3)
AKSIOMATIK : Jurnal Penelitian Pendidikan dan Pembelajaran Matematika     Open Access   (Followers: 1)
Al-Jabar : Jurnal Pendidikan Matematika     Open Access   (Followers: 1)
Al-Qadisiyah Journal for Computer Science and Mathematics     Open Access   (Followers: 1)
AL-Rafidain Journal of Computer Sciences and Mathematics     Open Access   (Followers: 6)
Algebra and Logic     Hybrid Journal   (Followers: 7)
Algebra Colloquium     Hybrid Journal   (Followers: 4)
Algebra Universalis     Hybrid Journal   (Followers: 2)
Algorithmic Operations Research     Open Access   (Followers: 5)
Algorithms     Open Access   (Followers: 12)
Algorithms Research     Open Access   (Followers: 1)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 10)
American Journal of Mathematical Analysis     Open Access   (Followers: 2)
American Journal of Mathematical and Management Sciences     Hybrid Journal   (Followers: 1)
American Journal of Mathematics     Full-text available via subscription   (Followers: 7)
American Journal of Operations Research     Open Access   (Followers: 8)
American Mathematical Monthly     Full-text available via subscription   (Followers: 6)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 11)
Anadol University Journal of Science and Technology B : Theoritical Sciences     Open Access  
Analele Universitatii Ovidius Constanta - Seria Matematica     Open Access  
Analysis and Applications     Hybrid Journal   (Followers: 1)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 6)
Analysis Mathematica     Full-text available via subscription  
Analysis. International mathematical journal of analysis and its applications     Hybrid Journal   (Followers: 5)
Anargya : Jurnal Ilmiah Pendidikan Matematika     Open Access   (Followers: 3)
Annales Mathematicae Silesianae     Open Access   (Followers: 2)
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4)
Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica     Open Access   (Followers: 1)
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica     Open Access  
Annali di Matematica Pura ed Applicata     Hybrid Journal   (Followers: 1)
Annals of Combinatorics     Hybrid Journal   (Followers: 4)
Annals of Data Science     Hybrid Journal   (Followers: 13)
Annals of Discrete Mathematics     Full-text available via subscription   (Followers: 8)
Annals of Functional Analysis     Hybrid Journal   (Followers: 4)
Annals of Mathematics     Full-text available via subscription   (Followers: 2)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 14)
Annals of PDE     Hybrid Journal  
Annals of Pure and Applied Logic     Open Access   (Followers: 4)
Annals of the Alexandru Ioan Cuza University - Mathematics     Open Access  
Annals of the Institute of Statistical Mathematics     Hybrid Journal   (Followers: 1)
Annals of West University of Timisoara - Mathematics     Open Access  
Annals of West University of Timisoara - Mathematics and Computer Science     Open Access   (Followers: 2)
Annuaire du Collège de France     Open Access   (Followers: 6)
ANZIAM Journal     Open Access   (Followers: 1)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 3)
Applications of Mathematics     Hybrid Journal   (Followers: 3)
Applied Categorical Structures     Hybrid Journal   (Followers: 4)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 14)
Applied Mathematics     Open Access   (Followers: 4)
Applied Mathematics     Open Access   (Followers: 8)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 10)
Applied Mathematics - A Journal of Chinese Universities     Hybrid Journal   (Followers: 1)
Applied Mathematics and Nonlinear Sciences     Open Access  
Applied Mathematics Letters     Full-text available via subscription   (Followers: 4)
Applied Mathematics Research eXpress     Hybrid Journal   (Followers: 1)
Applied Network Science     Open Access   (Followers: 3)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 6)
Arab Journal of Mathematical Sciences     Open Access   (Followers: 4)
Arabian Journal of Mathematics     Open Access   (Followers: 2)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 3)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 6)
Archive of Numerical Software     Open Access  
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 6)
Arkiv för Matematik     Hybrid Journal   (Followers: 1)
Armenian Journal of Mathematics     Open Access   (Followers: 1)
Arnold Mathematical Journal     Hybrid Journal   (Followers: 1)
Artificial Satellites     Open Access   (Followers: 24)
Asia-Pacific Journal of Operational Research     Hybrid Journal   (Followers: 3)
Asian Journal of Algebra     Open Access   (Followers: 1)
Asian Research Journal of Mathematics     Open Access   (Followers: 1)
Asian-European Journal of Mathematics     Hybrid Journal   (Followers: 3)
Australian Mathematics Teacher, The     Full-text available via subscription   (Followers: 7)
Australian Primary Mathematics Classroom     Full-text available via subscription   (Followers: 5)
Australian Senior Mathematics Journal     Full-text available via subscription   (Followers: 2)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Axioms     Open Access   (Followers: 1)
Baltic International Yearbook of Cognition, Logic and Communication     Open Access   (Followers: 2)
Banach Journal of Mathematical Analysis     Hybrid Journal   (Followers: 2)
Basin Research     Hybrid Journal   (Followers: 5)
BIBECHANA     Open Access   (Followers: 2)
Biomath     Open Access  
BIT Numerical Mathematics     Hybrid Journal   (Followers: 1)
Boletim Cearense de Educação e História da Matemática     Open Access  
Boletim de Educação Matemática     Open Access  
Boletín de la Sociedad Matemática Mexicana     Hybrid Journal  
Bollettino dell'Unione Matematica Italiana     Full-text available via subscription   (Followers: 2)
British Journal of Mathematical and Statistical Psychology     Full-text available via subscription   (Followers: 18)
Bruno Pini Mathematical Analysis Seminar     Open Access  
Buletinul Academiei de Stiinte a Republicii Moldova. Matematica     Open Access   (Followers: 13)
Bulletin des Sciences Mathamatiques     Full-text available via subscription   (Followers: 4)
Bulletin of Dnipropetrovsk University. Series : Communications in Mathematical Modeling and Differential Equations Theory     Open Access   (Followers: 3)
Bulletin of Mathematical Sciences     Open Access   (Followers: 1)
Bulletin of Symbolic Logic     Full-text available via subscription   (Followers: 2)
Bulletin of the Australian Mathematical Society     Full-text available via subscription   (Followers: 2)
Bulletin of the Brazilian Mathematical Society, New Series     Hybrid Journal  
Bulletin of the Iranian Mathematical Society     Hybrid Journal  
Bulletin of the London Mathematical Society     Hybrid Journal   (Followers: 3)
Bulletin of the Malaysian Mathematical Sciences Society     Hybrid Journal  
Cadernos do IME : Série Matemática     Open Access   (Followers: 1)
Calculus of Variations and Partial Differential Equations     Hybrid Journal  
Canadian Journal of Mathematics / Journal canadien de mathématiques     Hybrid Journal  
Canadian Journal of Science, Mathematics and Technology Education     Hybrid Journal   (Followers: 22)
Canadian Mathematical Bulletin     Hybrid Journal  
Carpathian Mathematical Publications     Open Access   (Followers: 1)
Catalysis in Industry     Hybrid Journal   (Followers: 1)
CEAS Space Journal     Hybrid Journal   (Followers: 3)
CHANCE     Hybrid Journal   (Followers: 5)
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 3)
Chaos, Solitons & Fractals : X     Open Access  
ChemSusChem     Hybrid Journal   (Followers: 8)
Chinese Annals of Mathematics, Series B     Hybrid Journal  
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 2)
Chinese Journal of Mathematics     Open Access  
Ciencia     Open Access   (Followers: 1)
Clean Air Journal     Full-text available via subscription   (Followers: 1)
CODEE Journal     Open Access   (Followers: 3)
Cogent Mathematics     Open Access   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 3)
Collectanea Mathematica     Hybrid Journal  
College Mathematics Journal     Hybrid Journal   (Followers: 4)
COMBINATORICA     Hybrid Journal  
Combinatorics, Probability and Computing     Hybrid Journal   (Followers: 4)
Combustion Theory and Modelling     Hybrid Journal   (Followers: 15)
Commentarii Mathematici Helvetici     Hybrid Journal  
Communications in Advanced Mathematical Sciences     Open Access  
Communications in Combinatorics and Optimization     Open Access  
Communications in Contemporary Mathematics     Hybrid Journal  
Communications in Mathematical Physics     Hybrid Journal   (Followers: 4)
Communications On Pure & Applied Mathematics     Hybrid Journal   (Followers: 4)
Complex Analysis and its Synergies     Open Access   (Followers: 3)
Complex Variables and Elliptic Equations: An International Journal     Hybrid Journal  
Composite Materials Series     Full-text available via subscription   (Followers: 9)
Compositio Mathematica     Full-text available via subscription  
Comptes Rendus Mathematique     Full-text available via subscription  
Computational and Applied Mathematics     Hybrid Journal   (Followers: 4)
Computational and Mathematical Methods     Hybrid Journal  
Computational and Mathematical Methods in Medicine     Open Access   (Followers: 2)
Computational and Mathematical Organization Theory     Hybrid Journal   (Followers: 2)
Computational Complexity     Hybrid Journal   (Followers: 4)
Computational Mathematics and Modeling     Hybrid Journal   (Followers: 9)
Computational Mechanics     Hybrid Journal   (Followers: 5)
Computational Methods and Function Theory     Hybrid Journal  
Computational Optimization and Applications     Hybrid Journal   (Followers: 9)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 11)
Concrete Operators     Open Access   (Followers: 4)
Confluentes Mathematici     Hybrid Journal  
Contributions to Discrete Mathematics     Open Access   (Followers: 2)
Contributions to Game Theory and Management     Open Access  
COSMOS     Hybrid Journal  
Cryptography and Communications     Hybrid Journal   (Followers: 13)
Cuadernos de Investigación y Formación en Educación Matemática     Open Access  
Cubo. A Mathematical Journal     Open Access  
Current Research in Biostatistics     Open Access   (Followers: 8)
Czechoslovak Mathematical Journal     Hybrid Journal   (Followers: 1)
Daya Matematis : Jurnal Inovasi Pendidikan Matematika     Open Access   (Followers: 2)
Demographic Research     Open Access   (Followers: 15)
Demonstratio Mathematica     Open Access  

        1 2 3 4 5 | 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  [2626 journals]
  • Abelian Categories Arising from Cluster Tilting Subcategories
    • Abstract: Abstract For a triangulated category \({\mathcal {T}}\), if \({\mathcal {C}}\) is a cluster-tilting subcategory of \({\mathcal {T}}\), then the factor category \({\mathcal {T}}{/}{\mathcal {C}}\) is an abelian category. Under certain conditions, the converse also holds. This is a very important result of cluster-tilting theory, due to Koenig–Zhu and Beligiannis. Now let \({\mathcal {B}}\) be a suitable extriangulated category, which is a simultaneous generalization of triangulated categories and exact categories. We introduce the notion of pre-cluster tilting subcategory \({\mathcal {C}}\) of \({\mathcal {B}}\), which is a generalization of cluster tilting subcategory. We show that \({\mathcal {C}}\) is cluster tilting if and only if the factor category \({\mathcal {B}}{/}{\mathcal {C}}\) is abelian. Our result generalizes the related results on a triangulated category and is new for an exact category case.
      PubDate: 2020-08-01
       
  • Word operads and admissible orderings
    • Abstract: Abstract We use Giraudo’s construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck’s path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is utilised to exhibit a quadratic Gröbner basis of the Poisson operad.
      PubDate: 2020-08-01
       
  • Compactly Generated Spaces and Quasi-spaces in Topology
    • Abstract: Abstract The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category \(\textsf {Top}\) of topological spaces and continuous functions, to study compactly generated spaces and quasi-spaces in this setting. Moreover, for a class \(\mathcal {C}\) of objects we generalize the notion of \(\mathcal {C}\)-generated spaces, from which we derive, for instance, a general concept of Alexandroff spaces. Furthermore, as done for \(\textsf {Top}\), we also study, in our level of generality, the relationship between compactly generated spaces and quasi-spaces.
      PubDate: 2020-08-01
       
  • A Categorical Construction for the Computational Definition of Vector
           Spaces
    • Abstract: Lambda-\({\mathcal {S}}\) is an extension to first-order lambda calculus unifying two approaches of non-cloning in quantum lambda-calculi. One is to forbid duplication of variables, while the other is to consider all lambda-terms as algebraic linear functions. The type system of Lambda-\({\mathcal {S}}\) has a constructor S such that a type A is considered as the base of a vector space while S(A) is its span. Lambda-\({\mathcal {S}}\) can also be seen as a language for the computational manipulation of vector spaces: The vector spaces axioms are given as a rewrite system, describing the computational steps to be performed. In this paper we give an abstract categorical semantics of Lambda-\({\mathcal {S}}^{*}\) (a fragment of Lambda-\({\mathcal {S}}\)), showing that S can be interpreted as the composition of two functors in an adjunction relation between a Cartesian category and an additive symmetric monoidal category. The right adjoint is a forgetful functor U, which is hidden in the language, and plays a central role in the computational reasoning.
      PubDate: 2020-06-23
       
  • The DG-Category of Secondary Cohomology Operations
    • Abstract: Abstract We study track categories (i.e., groupoid-enriched categories) endowed with additive structure similar to that of a 1-truncated DG-category, except that composition is not assumed right linear. We show that if such a track category is right linear up to suitably coherent correction tracks, then it is weakly equivalent to a 1-truncated DG-category. This generalizes work of the first author on the strictification of secondary cohomology operations. As an application, we show that the secondary integral Steenrod algebra is strictifiable.
      PubDate: 2020-06-23
       
  • A Categorical Duality for Semilattices and Lattices
    • Abstract: Abstract The main aim of this article is to develop a categorical duality between the category of semilattices with homomorphisms and a category of certain topological spaces with certain morphisms. The principal tool to achieve this goal is the notion of irreducible filter. Then, we apply this dual equivalence to obtain a topological duality for the category of bounded lattices and lattice homomorphism. We show that our topological dualities for semilattices and lattices are natural generalizations of the duality developed by Stone for distributive lattices through spectral spaces. Finally, we obtain directly the categorical equivalence between our topological spaces and those presented for Moshier and Jipsen (Algebra Univers 71(2):109–126, 2014).
      PubDate: 2020-06-11
       
  • The Order-Sobrification Monad
    • Abstract: Abstract We investigate the so-called order-sobrification monad proposed by Ho et al. (Log Methods Comput Sci 14:1–19, 2018) for solving the Ho–Zhao problem, and show that this monad is commutative. We also show that the Eilenberg–Moore algebras of the order-sobrification monad over dcpo’s are precisely the strongly complete dcpo’s and the algebra homomorphisms are those Scott-continuous functions preserving suprema of irreducible subsets. As a corollary, we show that this monad gives rise to the free strongly complete dcpo construction over the category of posets and Scott-continuous functions. A question related to this monad is left open alongside our discussion, an affirmative answer to which might lead to a uniform way of constructing non-sober complete lattices.
      PubDate: 2020-06-10
       
  • Functors and Morphisms Determined by Subcategories
    • Abstract: Abstract We study the existence and uniqueness of minimal right determiners in various categories. Particularly in a \({{\,\mathrm{Hom}\,}}\)-finite hereditary abelian category with enough projectives, we prove that the Auslander–Reiten–Smalø–Ringel formula of the minimal right determiner still holds. As an application, we give a formula of minimal right determiners in the category of finitely presented representations of strongly locally finite quivers.
      PubDate: 2020-06-01
       
  • Intrinsic Schreier Split Extensions
    • Abstract: Abstract In the context of regular unital categories we introduce an intrinsic version of the notion of a Schreier split epimorphism, originally considered for monoids. We show that such split epimorphisms satisfy the same homological properties as Schreier split epimorphisms of monoids do. This gives rise to new examples of \({\mathcal {S}}\)-protomodular categories, and allows us to better understand the homological behaviour of monoids from a categorical perspective.
      PubDate: 2020-06-01
       
  • A Combinatorial-Topological Shape Category for Polygraphs
    • Abstract: Abstract We introduce constructible directed complexes, a combinatorial presentation of higher categories inspired by constructible complexes in poset topology. Constructible directed complexes with a greatest element, called atoms, encompass common classes of higher-categorical cell shapes, including globes, cubes, oriented simplices, and a large sub-class of opetopes, and are closed under lax Gray products and joins. We define constructible polygraphs to be presheaves on a category of atoms and inclusions, and extend the monoidal structures. We show that constructible directed complexes are a well-behaved subclass of Steiner’s directed complexes, which we use to define a realisation functor from constructible polygraphs to \(\omega \)-categories. We prove that the realisation of a constructible polygraph is a polygraph in restricted cases, and in all cases conditionally to a conjecture. Finally, we define the geometric realisation of a constructible polygraph, and prove that it is a CW complex with one cell for each of its elements.
      PubDate: 2020-06-01
       
  • Pro-compactly Finite MV-Algebras
    • Abstract: Abstract We introduce compactly finite MV-algebras and continuous MV-algebras. We also investigate pro-compactly finite MV-algebras, which are the MV-algebras that are inverse limits of systems of compactly finite MV-algebras. We obtain that continuous MV-algebras as well as pro-compactly finite MV-algebras coincide with compact Hausdorff MV-algebras. In addition, further categorical properties of compact Hausdorff MV-algebras such as co-completeness, injective objects, (co)-Hopfian objects are considered and studied.
      PubDate: 2020-06-01
       
  • The Gray Monoidal Product of Double Categories
    • Abstract: Abstract The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category \({\mathbb {A}}\), the corresponding internal hom functor sends a double category \({\mathbb {B}}\) to the double category whose 0-cells are the double functors \({\mathbb {A}} \rightarrow {\mathbb {B}}\), whose horizontal and vertical 1-cells are the horizontal and vertical pseudo transformations, respectively, and whose 2-cells are the modifications. Some well-known functors of practical significance are checked to be compatible with this monoidal structure.
      PubDate: 2020-06-01
       
  • Hausdorff Coalgebras
    • Abstract: Abstract As composites of constant, finite (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of \(\textsf {Set}\)-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categories of coalgebras of Kripke polynomial functors to the context of quantale-enriched categories. To assume the role of the powerset functor we consider “powerset-like” functors based on the Hausdorff \({\mathcal {V}}\)-category structure. As a starting point, we show that for a lifting of a \(\textsf {Set}\)-functor to a topological category \(\textsf {X}\) over \(\textsf {Set}\) that commutes with the forgetful functor, the corresponding category of coalgebras over \(\textsf {X}\) is topological over the category of coalgebras over \(\textsf {Set}\) and, therefore, it is “as complete” but cannot be “more complete”. Secondly, based on a Cantor-like argument, we observe that Hausdorff functors on categories of quantale-enriched categories do not admit a terminal coalgebra. Finally, in order to overcome these “negative” results, we combine quantale-enriched categories and topology à la Nachbin. Besides studying some basic properties of these categories, we investigate “powerset-like” functors which simultaneously encode the classical Hausdorff metric and Vietoris topology and show that the corresponding categories of coalgebras of “Kripke polynomial” functors are (co)complete.
      PubDate: 2020-04-30
       
  • A Unified Classification Theorem for Mal’tsev-Like Categories
    • Abstract: Abstract In this paper we give unified characterizations of categories defined by variations of the Mal’tsev property.
      PubDate: 2020-04-01
       
  • The Universal Property of Infinite Direct Sums in $$\hbox {C}^*$$C∗
           -Categories and $$\hbox {W}^*$$W∗ -Categories
    • Abstract: Abstract When formulating universal properties for objects in a dagger category, one usually expects a universal property to characterize the universal object up to unique unitary isomorphism. We observe that this is automatically the case in the important special case of \(\hbox {C}^*\)-categories, provided that one uses enrichment in Banach spaces. We then formulate such a universal property for infinite direct sums in \(\hbox {C}^*\)-categories, and prove the equivalence with the existing definition due to Ghez, Lima and Roberts in the case of \(\hbox {W}^*\)-categories. These infinite direct sums specialize to the usual ones in the category of Hilbert spaces, and more generally in any \(\hbox {W}^*\)-category of normal representations of a \(\hbox {W}^*\)-algebra. Finding a universal property for the more general case of direct integrals remains an open problem.
      PubDate: 2020-04-01
       
  • Algebraic Theories and Commutativity in a Sheaf Topos
    • Abstract: Abstract For any site of definition \(\mathcal {C}\) of a Grothendieck topos \(\mathcal {E}\), we define a notion of a \(\mathcal {C}\)-ary Lawvere theory \(\tau : \mathscr {C} \rightarrow \mathscr {T}\) whose category of models is a stack over \(\mathcal {E}\). Our definitions coincide with Lawvere’s finitary theories when \(\mathcal {C}=\aleph _0\) and \(\mathcal {E} = {{\,\mathrm{\mathbf {Set}}\,}}\). We construct a fibered category \({{\,\mathrm{\mathbf {Mod}}\,}}^{\mathscr {T}}\) of models as a stack over \(\mathcal {E}\) and prove that it is \(\mathcal {E}\)-complete and \(\mathcal {E}\)-cocomplete. We show that there is a free-forget adjunction \(F \dashv U: {{\,\mathrm{\mathbf {Mod}}\,}}^{\mathscr {T}} \leftrightarrows \mathscr {E}\). If \(\tau \) is a commutative theory in a certain sense, then we obtain a “locally monoidal closed” structure on the category of models, which enhances the free-forget adjunction to an adjunction of symmetric monoidal \(\mathcal {E}\)-categories. Our results give a general recipe for constructing a monoidal \(\mathcal {E}\)-cosmos in which one can do enriched \(\mathcal {E}\)-category theory. As an application, we describe a convenient category of linear spaces generated by the theory of Lebesgue integration.
      PubDate: 2020-04-01
       
  • Differential Categories Revisited
    • Abstract: Abstract Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were introduced. The basic approach used a deriving transformation, while a more refined approach, in the presence of a bialgebra modality, used a codereliction. The latter approach is particularly relevant to linear logic settings, where the coalgebra modality is monoidal and the Seely isomorphisms give rise to a bialgebra modality. Here, we prove that these apparently distinct notions of differentiation, in the presence of a monoidal coalgebra modality, are completely equivalent. Thus, for linear logic settings, there is only one notion of differentiation. This paper also presents a number of separating examples for coalgebra modalities including examples which are and are not monoidal, as well as examples which do and do not support differential structure. Of particular interest is the observation that—somewhat counter-intuitively—differential algebras never induce a differential category although they provide a monoidal coalgebra modality. On the other hand, Rota–Baxter algebras—which are usually associated with integration—provide an example of a differential category which has a non-monoidal coalgebra modality.
      PubDate: 2020-04-01
       
  • Exact Filters and Joins of Closed Sublocales
    • Abstract: Abstract We prove, for a general frame, that the sublocales that can be represented as joins of closed ones are, somewhat surprisingly, in a natural one-to-one correspondence with the filters closed under exact meets, and explain some subfit facts from this perspective. Furthermore we discuss the filters associated in a similar vein with the fitted sublocales.
      PubDate: 2020-03-07
       
  • Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent
           Nerves
    • Abstract: Abstract In this paper we prove that various quasi-categories whose objects are \(\infty \)-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a general theorem in which we characterize the data that is required to define a limit cone in a quasi-category constructed as a homotopy coherent nerve. Since all quasi-categories arise this way up to equivalence, this analysis covers the general case. Namely, we show that quasi-categorical limit cones may be modeled at the point-set level by pseudo homotopy limit cones, whose shape is governed by the weight for pseudo limits over a homotopy coherent diagram but with the defining universal property up to equivalence, rather than isomorphism, of mapping spaces. Our applications follow from the fact that the \((\infty ,1)\)-categorical core of an \(\infty \)-cosmos admits weighted homotopy limits for all flexible weights, which includes in particular the weight for pseudo cones.
      PubDate: 2020-03-06
       
  • Crossed Modules of Monoids II: Relative Crossed Modules
    • Abstract: Abstract This is the second part of a series of three strongly related papers in which three equivalent structures are studied:Internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans.Crossed modules of monoids relative to this class of spans.Simplicial monoids of so-called Moore length 1 relative to this class of spans. The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this second part we define relative crossed modules of monoids and prove their equivalence with the relative categories of Part I.
      PubDate: 2020-02-27
       
 
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.236.121.68
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-