Related papers: Mackey profunctors
A semantic model enjoys full definability if every semantic element in the model is a denotation of some proof or program. Full definability indicates that the model captures programs and proofs in a highly detailed manner. This paper…
In this paper we establish the Mackey formula for groupoids, extending the well known formula in abstract groups context. This formula involves the notion of groupoid-biset, its orbit set and the tensor product over groupoids, as well as…
We consider profinite groups in which all commutators are contained in a union of finitely many procyclic subgroups. It is shown that if G is a profinite group in which all commutators are covered by m procyclic subgroups, then G possesses…
We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for…
This text presents a scheme-theoretic enhancement of the theory of smooth profinite groups and cyclotomic pairs, introduced in the paper `Smooth profinite groups, I'. To do so, our main technical tools are Hochschild cohomology of affine…
Finite groups with given systems of permuteral and strongly permuteral subgroups are studied. New characterizations of w-supersoluble and supersoluble groups are received.
We introduce an extension of the (tame) polynomial automorphism group over finite fields: the profinite (tame) polynomial automorphism group, which is obtained by putting a natural topology on the automorphism group. We show that most known…
We show that the "profinite direct sum" is a good notion of infinite direct sums for profinite modules having properties similar to direct sums of abstract modules. For example, the profinite direct sum of projective modules is projective,…
For G a profinite group, we construct an equivalence between rational G-Mackey functors and a certain full subcategory of G-sheaves over the space of closed subgroups of G called Weyl-G-sheaves. This subcategory consists of those sheaves…
We study collections of additive categories $\mathcal{M}(G)$, indexed by finite groups $G$ and related by induction and restriction in a way that categorifies usual Mackey functors. We call them `Mackey 2-functors'. We provide a large…
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…
We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant…
In this article we study devlop some fundaments for a function theory in the 16-dimensional complexified octonions.
We determine a family of functors from a poset to abelian groups such that the higher direct limits vanish on them. This is done by first characterizing the projective functors. Then a spectral sequence arising from the grading of the poset…
We give a homological characterisation of relatively prosolvable projective groups.
We study simplicial profinite groups with a view towards applications in profinite combinatorial group theory. This approach provides a natural framework to the concept of pro-$\mathfrak{C}$-presentation of a pro-$\mathfrak{C}$-group $G$ as…
We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite…
In this expository paper we review some recent results about representations of Kac-Moody groups. We sketch the construction of these groups. If practical, we present the ideas behind the proofs of theorems. At the end we pose open…
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain…
Brauer Theory for a finite group can be viewed as a method for comparing the representations of the group in characteristic 0 with those in prime characteristic. Here we generalize much of the machinery of Brauer theory to the setting of…