Mackey functors on compact closed categories

Ross Street; Elango Panchadcharam

Home/Archive/arXiv

arXiv · 0706.2922

Mackey functors on compact closed categories

Ross Street·Elango Panchadcharam

View original source ↗Read source document ↗Export metadata ↓

Abstract

We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category $\E$ and investigate the properties of the category of Mackey functors on $\E$. We show that it is a monoidal category and the monoids are Green functors. Mackey functors are seen as providing a setting in which mere numerical equations occurring in the theory of groups can be given a structural foundation. We obtain an explicit description of the objects of the Cauchy completion of a monoidal functor and apply this to examine Morita equivalence of Green functors.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ross Street, Elango Panchadcharam. 2007-06-20. Mackey functors on compact closed categories. https://arxiv.org/abs/0706.2922

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

KEEP EXPLORING

Related papers

arXiv2026

Simple-shifted monoidal derived equivalences for tensor categories

In this paper, we investigate monoidal derived equivalences between tensor categories with infinitely many isomorphism classes of simple objects. We introduce the notion of a simple-shifted monoidal derived equivalence and prove that a simple-shifted monoidal derived equivalence gives rise to a tensor equivalence. In addition, we investigate which tensor categories have the property that every monoidal derived equivalence between them is necessarily simple-shifted, and we establish some sufficient conditions for this property. As a corollary, we prove that if a tensor category is monoidally derived equivalent to the finite-dimensional representation category of either the quantized enveloping algebra $U_q(\mathfrak{g})$, the quantized Borel subalgebra $U_q^{\geq 0}(\mathfrak{g})$, or the quantized coordinate ring $\mathcal{O}_{q}(G)$ (for a suitable $q$), it is tensor equivalent to the corresponding category.

math.CT↗

arXiv2026

Logics vs doctrines, a mirror symmetry

We study the relationship between doctrines, encoding 2-categories of theories in predicate logic, and fragments of geometric logic, defined through Kan injectivity in the 2-category of topoi. After a brief historical account of the notion of doctrine, we propose our working definition. Our main result then establishes a Galois connection between doctrines and subgeometric logics. This connection suggests a mirror symmetry between the world of doctrines and the world of logics, in which constructions and results on either side admit counterparts on the other. We develop this symmetry through constructions of syntactic categories and classifying topoi in both settings, recovering the familiar examples from categorical logic. We prove paired Diaconescu-type theorems and give symmetric universal characterisations of the two closure operators induced by the Galois connection. Finally, we show that passing from a doctrine to its closure induces a reflection between the corresponding 2-categories of algebras, and we relate this reflection to conceptual completeness.

math.CT↗

arXiv2026

Localizing Restriction Categories

The localizing/separating factorization, which is the analogue, for restriction categories, to the surjective/embedding factorization for topoi, is developed at both the mere restriction category and join restriction category level. The factorization system at both the ordinary and join level is approached using the notion of a density, which is a stable and universal suborder of the restriction order. The main technical results of the paper construct the join localization and establish its basic properties. The paper gives several examples of localizations. In particular, examples of localization on commutative rigs are provided which give a way to construct categories of schemes. The Zariski spectrum and the Pierce spectrum are, in particular, developed.

math.CT↗