Rigid Algebras and Cospans

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Neuhauser, Leor
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918517063811072
author Neuhauser, Leor
author_facet Neuhauser, Leor
contents We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is in fact an $(\infty,1)$-category. For the $(\infty,2)$-category of cospans in an $(\infty,1)$-category $\mathcal{C}$, we show that the $(\infty,1)$-category of rigid commutative algebras is canonically identified with $\mathcal{C}$. This identification is used to construct an adjunction between the cospan construction and the functor assigning to a symmetric monoidal $(\infty,2)$-category its $(\infty,1)$-category of rigid commutative algebras.
format Preprint
id arxiv_https___arxiv_org_abs_2506_22072
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Rigid Algebras and Cospans
Neuhauser, Leor
Category Theory
Algebraic Topology
We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is in fact an $(\infty,1)$-category. For the $(\infty,2)$-category of cospans in an $(\infty,1)$-category $\mathcal{C}$, we show that the $(\infty,1)$-category of rigid commutative algebras is canonically identified with $\mathcal{C}$. This identification is used to construct an adjunction between the cospan construction and the functor assigning to a symmetric monoidal $(\infty,2)$-category its $(\infty,1)$-category of rigid commutative algebras.
title Rigid Algebras and Cospans
topic Category Theory
Algebraic Topology
url https://arxiv.org/abs/2506.22072