Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0708.1925

Frobenius Objects in Cartesian Bicategories

R. F. C. Walters·R. J. Wood
View original source ↗Read source document ↗Export metadata ↓

Abstract

Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

R. F. C. Walters, R. J. Wood. 2007-08-14. Frobenius Objects in Cartesian Bicategories. https://arxiv.org/abs/0708.1925

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Cartesian Promonoidal Kernel on $Δ$ and a Hadamard Contraction of $Δ^n$

Pointwise multiplication of nondecreasing maps defines simplicial maps \(H_{p,q}:Δ^p\timesΔ^q\toΔ^{pq}\) for nonnegative integers \(p,q\). We express these maps using Day's promonoidal construction for the Cartesian product of presheaves, applied to the simplex category. For \(q=1\), the map is a simplicial homotopy from the constant \(0\)-vertex map to the identity. We compute its geometric realization by a piecewise-linear formula in barycentric coordinates and describe it on a prism triangulation.

math.CT↗
arXiv2026

A Simple Categorical Calculus of Interacting Processes

We present a calculus that models a simple sort of process interaction. Our calculus consists of a collection of terms together with a rewrite relation, parameterised by an arbitrary multicategory whose morphisms we understand as non-interactive processes. We show that our calculus is confluent and terminating, and that terms modulo the induced convertibility relation form a virtual double category. We relate our calculus to the free cornering of a monoidal category, which is a double-categorical model of process interaction that is similar in spirit to the calculus presented herein. Precisely, we construct a functor from the virtual double category given by our calculus into the underlying virtual double category of the free cornering of the free monoidal category on the multicategory of non-interacting processes. If we think of the terms of our calculus as programs and the rewriting system as an operational semantics for these programs, this functor gives a sound denotational semantics for our calculus in terms of the free cornering.

math.CT↗
arXiv2026

Action accessibility in the variety of skew braces

In this paper, we answer negatively to a question posed in the context of the 2025 Oberwolfach Mini-Workshop ``The Yang-Baxter Equation and Representations of Braid Groups'' regarding the existence of split extensions classifiers in the category of skew braces. To this end, we show that the variety of skew braces is not action accessible by investigating the categorical notion of centraliser in the sense of Huq. In light of their intrinsic relationship with skew braces, an analogous result is proven for the variety of post-Lie algebras over a fixed field.

math.CT↗