Results 1 to 10 of about 5,408 (57)
Infinite multisets: Basic properties and cardinality [PDF]
Notes on Number Theory and Discrete MathematicsThis research work presents the topic of infinite multisets, their basic properties and cardinality from a somewhat different perspective. In this work, a new property of multisets, ‘m-cardinality’, is defined using multiset functions.
Milen V. Velev
doaj +1 more source
Noncrossing partitions and representations of quivers [PDF]
, 2008 We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show that it extends ...
Assem +12 more
core +3 more sources
Monads of regular theories [PDF]
, 2012 We characterize the category of monads on $Set$ and the category of Lawvere theories that are equivalent to the category of regular equational theories.Comment: 36 ...
Szawiel, Stanisław, Zawadowski, Marek
core +2 more sources
Cardinality of the sets of all bijections, injections and surjections
Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia, 2020 The results of Zarzycki for the cardinality of the sets of all bijections, surjections, and injections are generalized to the case when the domains and codomains are infinite and different. The elementary proofs the cardinality of the sets of bijections and surjections are given within the framework of the Zermelo-Fraenkel set theory with the axiom of ...
openaire +1 more source
Tropical curves, graph complexes, and top weight cohomology of M_g
, 2020 We study the topology of a space parametrizing stable tropical curves of genus g with volume 1, showing that its reduced rational homology is canonically identified with both the top weight cohomology of M_g and also with the genus g part of the homology
Chan, Melody +2 more
core +1 more source
Realizability algebras II : new models of ZF + DC [PDF]
, 2010 Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the cardinals of ...
Jean-Louis Krivine, Pierre-Louis Curien
core +4 more sources
Algorithmics of Checking whether a Mapping Is Injective, Surjective, and/or Bijective
, 2014 In many situations, we would like to check whether an algorithmically given mapping f:A → B is injective, surjective, and/or bijective. These properties have a practical meaning: injectivity means that the events of the action f can be, in principle, reversed, while surjectivity means that every state b ∈ B can appear as a result of the corresponding ...
Balreira, E. Cabral +2 more
openaire +2 more sources
, 2017 In the paper "Triangulations, orientals, and skew monoidal categories", the free monoidal category Fsk on a single generating object was described. We sharpen this by giving a completely explicit description of Fsk, and so of the free skew monoidal ...
Bourke, John, Lack, Stephen
core +1 more source
Triangulations, orientals, and skew monoidal categories
, 2013 A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category.
Lack, Stephen, Street, Ross
core +1 more source
Nonabelian Cohen-Lenstra Heuristics over Function Fields
, 2017 Boston, Bush, and Hajir have developed heuristics, extending the Cohen-Lenstra heuristics, that conjecture the distribution of the Galois groups of the maximal unramified pro-p extensions of imaginary quadratic number fields for p an odd prime.
Boston, Nigel, Wood, Melanie Matchett
core +1 more source