Related papers: When coproducts are biproducts

We give a summary (without proofs) of the main results in the author's thesis entitled ``Construction of biclosed categories'' (University of New South Wales, Australia, 1970). This summary is reprinted directly from Report 81-0030 of the…

An example of double cross coproducts with both non-trivial left coaction and non-trivial right coaction in strictly braided tensor categories is given.

Let $F,G$ be bicomonads on a monoidal category $\mathcal{C}$. The aim of this paper is to discuss the smash coproducts of $F$ and $G$. As an application, the smash coproduct of Hom-bialgebras is discussed. Further, the Hom-entwining…

We define a notion of tensor product of bimodule categories and prove that with this product the 2-category of C-bimodule categories for fixed tensor C is a monoidal 2-category in the sense of Kapranov and Voevodsky. We then provide a…

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do…

We show that the categories of directed and undirected reflexive graphs carry exactly two (up to isomorphism) biclosed monoidal structures.

This paper describes an issue that arises when inverting elements of the homotopy groups of an equivariant commutative ring. Equivariant commutative rings possess an enhanced multiplicative structure arising from the presence of "indexed…

We characterize the families of bialgebras or Hopf algebras over fields for which the product in the corresponding category is finite-dimensional, answering a question of M. Lorenz: if the ground field is infinite then bialgebra or Hopf…

A compact space $Y$ is called homeo-product-minimal if given any minimal system $(X,T)$, it admits a homeomorphism $S:Y\to Y$, such that the product system $(X\times Y,T\times S)$ is minimal. We show that a large class of cofrontiers is…

We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…

We study the categorical properties of right-preordered groups, giving an explicit description of limits and colimits in this category, and studying some exactness properties. We show that, from an algebraic point of view, the category of…

In this article the infinite product of bicomplex numbers is defined and the convergence and divergence of this product are discussed.

Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra formula, and prove also the converse: if the coproduct…

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…

Given two convex polytopes, the join, the cartesian product and the direct sum of them are well understood. In this paper we extend these three kinds of products to abstract polytopes and introduce a new product, called the topological…

A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…

For a ring $R$ and an additive subcategory $\C$ of the category $\Mod R$ of left $R$-modules, under some conditions we prove that the right Gorenstein subcategory of $\Mod R$ and the left Gorenstein subcategory of $\Mod R^{op}$ relative to…

We define a metric ultraproduct of topological groups with left-invariant metric, and show that there is a countable sequence of finite groups with left-invariant metric whose metric ultraproduct contains isometrically as a subgroup every…

Topological algebras have properties that extend naturally to those of topological groups [8, 9], but is it the case that semi-direct products exist as in the category of groups? Firstly, we express concepts in categorical language that…

We study monoids equipped with a second binary operation that captures the structure of the endomorphisms of an object $X$ such that $X=X\times X$. We construct a universal monoid of this type and examine some of its rich combinatorial…