Source author record

Angélica M. Osorno

Angélica M. Osorno appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.CT math.KT

Catalog footprint

What is connected

4works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

Multiplicative equivariant $K$-theory and the Barratt-Priddy-Quillen theorem

We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space machine that manufactures orthogonal $G$-spectra from symmetric monoidal $G$-categories. The new machine produces highly structured associative ring and module $G$-spectra from appropriate multiplicative input. It relies on new operadic multicategories that are of considerable independent interest and are defined in a general, not necessarily equivariant or topological, context. Most of our work is focused on constructing and comparing them. We construct a multifunctor from the multicategory of symmetric monoidal $G$-categories to the multicategory of orthogonal $G$-spectra. With this machinery in place, we prove that the equivariant BPQ theorem can be lifted to a multiplicative equivalence. That is the heart of what is needed for the presheaf reconstruction of the category of $G$-spectra in arXiv:1110.3571.

preprint2020arXiv

Biased permutative equivariant categories

For a finite group G, we introduce the complete suboperad $Q_G$ of the categorical G-Barratt-Eccles operad $P_G$. We prove that $P_G$ is not finitely generated, but $Q_G$ is finitely generated and is a genuine $E_\infty$ G-operad (i.e., it is $N_\infty$ and includes all norms). For G cyclic of order 2 or 3, we determine presentations of the object operad of $Q_G$ and conclude with a discussion of algebras over $Q_G$, which we call biased permutative equivariant categories.

preprint2014arXiv

Constructing equivariant spectra via categorical Mackey functors

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 category of equivariant spectra due to Guillou and May. The key element of our construction is a spectrally-enriched functor from a spectrally-enriched version of permutative categories to the category of spectra that is built using an appropriate version of K-theory. As applications of our general construction, we produce a new functorial construction of equivariant Eilenberg--MacLane spectra for Mackey functors and for suspension spectra for finite G-sets.

preprint2012arXiv

Infinite loop spaces, and coherence for symmetric monoidal bicategories

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free symmetric monoidal bicategory on one object is equivalent, as a symmetric monoidal bicategory, to the discrete symmetric monoidal bicategory given by the disjoint union of the symmetric groups. Third, we show that every symmetric monoidal bicategory is equivalent to a strict one. We give two topological applications of these coherence results. First, we show that the classifying space of a symmetric monoidal bicategory can be equipped with an E_{\infty} structure. Second, we show that the fundamental 2-groupoid of an E_n space, n \geq 4, has a symmetric monoidal structure. These calculations also show that the fundamental 2-groupoid of an E_3 space has a sylleptic monoidal structure.