Related papers: A Mackey-functor theoretic interpretation of biset…
We extend Deligne's notion of determinant functor to tensor triangulated categories. Specifically, to account for the multiexact structure of the tensor, we define a determinant functor on the 2-multicategory of triangulated categories and…
This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully…
It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the…
This is a generalization of some results of Ma-Sauter from module categories over artin algebras to more general functor categories (and partly to exact categories). In particular, we generalize the definition of a faithfully balanced…
We introduce the notion of numerical functors to generalise Eilenberg & MacLane's polynomial functors to modules over a binomial base ring. After shewing how these functors are encoded by modules over a certain ring, we record a precise…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
In this article we review the theory of anafunctors introduced by Makkai and Bartels, and show that given a subcanonical site S, one can form a bicategorical localisation of various 2-categories of internal categories or groupoids at weak…
Past studies of the Brauer group of a scheme tells us the importance of the interrelationship among Brauer groups of its finite \'etale coverings. In this paper, we consider these groups simultaneously, and construct an integrated object…
The definitions of replicable and completely replicable functions are intimately related to the Hecke operators for the modular group. We define the notions of "$(2+)$-replicable" and "completely $(2+)$-replicable" functions by considering…
We describe an abstract 2-categorical setting to study various notions of polynomial and analytic functors and monads.
Let $C_n$ denote a cyclic group of order $n$. In this paper we investigate modules and chain complexes over the constant integral Mackey functor $\underline{\mathbb{Z}}$ and perform some related homological calculations. Along the way we…
We continue our previous modifications of the Baez-Dolan theory of opetopes to modify the Baez-Dolan definition of universality, and thereby the category of opetopic n-categories and lax functors. For the case n=2 we exhibit an equivalence…
We describe an implementation of the biset category of finite groups as a tower of standard categorical constructions, all of which are implemented in the software projec t CAP for algorithmic category theory. In particular, we describe the…
For groups with a uniform bound on the length of chains of finite subgroups, we study the relationship between the Bredon cohomological dimension for proper actions and the notions of cohomological dimension one obtains by restricting the…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
We focus on working on incidence rings, a class of (possibly infinite) matrix rings indexed by ordered sets. Some general properties about them are given, including how they are always the inverse limit of finite matrix rings, giving a…
We describe a symplectization functor from the Poisson category to the symplectic "category" and we study some of its properties.
A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…
We examine the projective dimensions of Mackey functors and cohomological Mackey functors. We show over a field of characteristic $p$ that cohomological Mackey functors are Gorenstein if and only if Sylow $p$-subgroups are cyclic or…
In this paper, we give a description of polynomial functors from (finitely generated free) groups to abelian groups in terms of non-linear Mackey functors generalizing those given in a paper of Baues-Dreckmann-Franjou-Pirashvili published…