We define combinatorial principles which unify and extend the classical results of Steinhaus and Piccard on the existence of interior points in the distance set. Thus the measure and category versions are derived from one topological theorem on interior points applied to the usual topology and the density topology on the line. Likewise we unify the subgroup theorem by reference to a Ramsey prop...

A partitioned process theory, as defined by Coecke, Fritz, and Spekkens, is a symmetric monoidal category together with an all-object-including symmetric monoidal subcategory. We think of the morphisms of this category as processes, and the morphisms of the subcategory as those processes that are freely executable. Via a construction we refer to as parallel-combinable processes with discarding,...

The objective of this study was to test that genetic variation for resistance to clinical and subclinical diseases exists in growing pigs. A total of 13 551 male growing pigs were assessed for resistance to five categories of clinical and subclinical disease: (i) any clinical or subclinical disease, (ii) lameness, (iii) respiratory diseases, (iv) diarrhoea, and (v) other diseases (i.e. any clin...

From the outset, the theories of ordinary categories and of additive categories were developed in parallel. Indeed additive category theory was dominant in the early days. By additivity for a category I mean that each set of morphisms between two objects (each “hom”) is equipped with the structure of abelian group and composition on either side, with any morphism, distributes over addition: tha...

Any semi-abelian category A appears, via the discrete functor, as a full replete reflective subcategory of the semi-abelian category of internal groupoids in A. This allows one to study the homology of n-fold internal groupoids with coefficients in a semi-abelian category A, and to compute explicit higher Hopf formulae. The crucial concept making such computations possible is the notion of prot...

We describe a fundamental additive functor Efund on the orbit category of a group. We prove that any isomorphism conjecture valid for Efund also holds for all additive functors, like K-theory, (topological) Hochschild or cyclic homology, etc. Finally, we reduce this universal isomorphism conjecture to K-theoretic ones, at the price of introducing some coefficients.

Motivated by the weighted Hurwitz product on sequences in an algebra, we produce a family of monoidal structures on the category of Joyal species. We suggest a family of tensor products for charades. We begin by seeing weighted derivational algebras and weighted Rota–Baxter algebras as special monoids and special semigroups, respectively, for the same monoidal structure on the category of graph...

Let p be a prime number. This paper introduces the Roquette category Rp of finite p-groups, which is an additive tensor category containing all finite p-groups among its objects. In Rp, every finite p-group P admits a canonical direct summand ∂P , called the edge of P . Moreover P splits uniquely as a direct sum of edges of Roquette p-groups, and the tensor structure of Rp can be described in t...

We give a generalized version of the Freyd conjecture and a way to think about a possible proof. The essential point is to describe an elementary formal reduction of the question that holds in any triangulated category. There are no new results, but at least one known example drops out very easily. In algebraic topology, the generating hypothesis, or Freyd conjecture, is a long-standing conject...

We show that every essentially small finitely semisimple k-linear additive spherical category in which k = End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular categories. In order to prove this result, we show that the universal coend of the spherical category with respect to the long forgetful functor is self-dual as...