Linear logic is well known for its resource-awareness, which has inspired the design of
several resource management mechanisms in programming language design. Its resource …

Let G be a finite group. We give Quillen equivalent models for the category of G-spectra as
categories of spectrally enriched functors from explicitly described domain categories to …

We give a functorial construction of equivariant spectra from a generalized version of
Mackey functors in categories. This construction relies on the recent description of the …

Bimonoidal categories (also known as rig categories) are categories with two monoidal
structures, one of which distributes over the other. We formally define sheet diagrams, a …

The groupoid of finite sets has a “canonical” structure of a symmetric 2-rig with the sum and
product respectively given by the coproduct and product of sets. This 2-rig FS et ˆ is just one …

Mackey functors provide the coefficient systems for equivariant cohomology theories. More
generally, enriched presheaf categories provide a classification and organization for many …

We show how to construct a Γ–bicategory from a symmetric monoidal bicategory and use
that to show that the classifying space is an infinite loop space upon group completion. We …

Suppose $ G $ is a finite group. In this paper, we construct an equivalence between the
$\infty $-category of algebras over an $ N_ {\infty} $-operad $\mathcal {O} $ associated to a …

The Burnside bicategory of groupoids | SpringerLink Skip to main content Advertisement
SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home 2.Boletín de la …

String diagrams are graphical representations of morphisms in various sorts of categories.
The mathematical results which establish their soundness and completeness provide an …