Related papers: The Inductive Coherator For Grothendieck Infinity …
We show how to get explicit induction formulae for finite group representations, and more generally for rational Green functors, by summing a divergent series over Dwyer's subgroup and centralizer decomposition spaces. This results in…
We investigate the notion of involutive weak globular $\omega$-categories via T.Leinster's approach: as algebras for the initial contracted globular operad in the bicategory of globular collections induced by the Cartesian monad of the free…
This article deals with inductive systems of Toeplitz algebras over arbitrary directed sets. For such a system the family of its connecting injective $*$-homomorphisms is defined by a set of natural numbers satisfying a factorization…
We give a specific cylinder functor for semifree dg categories. This allows us to construct a homotopy colimit functor explicitly. These two functors are "computable", specifically, the constructed cylinder functor sends a dg category of…
This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the…
We construct a number of different examples of non-Noetherian graded rings that are injective as modules over themselves (or have some related but weaker properties). We discuss how these are related to the theory of triangulated…
Let $(S, \n)$ be a commutative noetherian local ring and $\omega\in\n$ be non-zerodivisor. This paper deals with the behavior of the category $\mon(\omega, \cp)$ consisting of all monomorphisms between finitely generated projective…
We study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We…
We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…
For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D-ultrafilter on an object, where D is a "nice"…
This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an…
We introduce a new stable birational invariant, which takes the form of a functor sending a degenerating variety to the homotopy type of a chain complex. Our invariant is a categorification of the motivic volume of Nicaise and Shinder. From…
We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…
We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…
The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the…
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.…
Codensity monads provide a universal method to generate complex monads from simple functors. Recently, a wide range of important monads in logic, denotational semantics, and probabilistic computation, such as several incarnations of the…
In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment was used to define a generalization of inductive data types.…
We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular,…
In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…