In the context of semi-abelian categories, several additional conditions have been considered in order to obtain a closer group-like behavior. Among them are locally algebraic cartesian closedness and algebraic coherence. The recent notion of S-protomodular categories, whose main examples are the category of monoids and, more generally, categories of monoids with operations and Jónsson-Tarski v...

we prove that the class of profinite groups $g$ that have a factorization $g=ab$‎ ‎with $a$ and $b$ abelian closed subgroups‎, ‎is closed under taking inverse limits‎ ‎of surjective inverse systems‎. ‎this is a generalization of a recent result by k. h. hofmann and f. g. russo‎. ‎as an application we reprove their generalization of iwasawa's structure theorem for‎ ‎quasihamiltonian pro-$p$...

Consider a set of simple closed curves on a surface of genus g which fill the surface and which pairwise intersect at most once. We show that the asymptotic growth rate of the smallest number in such a set is 2 √ g as g → ∞. More generally, we give a precise asymptotic for filling sets of curves which pairwise intersect at most K ≥ 1 times. We then bound from below the cardinality of a filling ...

A tournament is a binary dominance relation on a set of alternatives. Tournaments arise in many contexts that are relevant to AI, most notably in voting (as a method to aggregate the preferences of agents). There are many works that deal with choice rules that select a desirable alternative from a tournament, but very few of them deal directly with incentive issues, despite the fact that gameth...

due to the lack of specified linage and parentage information from exotic broodstocks of litopenaeus vannamei shrimp, in iran and multiple breeding of closed broodstock populations, also concern about the low level of genetic diversity and accumulated inbreeding and in order to comparison of the genetic variability indices and analysis of the genetic differentiation, total of 30 samples from bo...

It was already known that the category of T 0 topological spaces is not itself cartesian closed, but can be embedded into the cartesian closed categories FIL of lter spaces and EQU of equilogical spaces where the latter embeds into the cartesian closed category ASSM of assemblies over algebraic lattices. Here, we rst clarify the notion of lter space|there are at least three versions FIL a FIL b...

A conjecture of Smyth is discussed which says that if D and [D → D] are effectively algebraic directed-complete partial orders with least element (cpo’s), then D is an effectively strongly algebraic cpo, where it was not made precise what is meant by an effectively algebraic and an effectively strongly algebraic cpo. Notions of an effectively strongly algebraic cpo and an effective SFP domain a...

We prove that every finitary polynomial endofunctor of a category C has a final coalgebra if C is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of coalgebras for such an endofunctor has all finite limits.