Related papers: Examples of para-cocyclic objects induced by BD-la…

We compute the Bousfield localizations and Bousfield colocalizations of discrete model categories, including the homotopy categories and the algebraic $K$-groups of these localizations and colocalizations. We prove necessary and sufficient…

We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…

We determine all 2- and 3-cocycles for Laver tables, an infinite sequence of finite structures obeying the left-selfdistributivity law; in particular, we describe simple explicit bases. This provides a number of new positive braid…

In this work we deal with partially hyperbolic diffeomorphisms whose central direction is two dimensional. We prove that in general the accessibility classes are immersed manifolds. If, furthermore, the diffeomorphism is dynamically…

Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and show that it extends to a functor from the category of…

We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is…

We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that…

Admissible vectors for unitary representations of locally compact groups are the basis for group-frame and covariant coherent state expansions. Main tools in the study of admissible vectors have been Plancherel and central integral…

We observe that under certain conditions on the Lyapunov exponents a semi-invertible cocycle is, indeed, invertible. As a consequence, if a semi-invertible cocycle generated by a H\"{o}lder continuous map $A:M\to M(d, \mathbb{R})$ over a…

It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.

We provide a complete classification for regular subalgebras $B \subset M$ of injective factors satisfying a natural relative commutant condition. We show that such subalgebras are classified by their associated amenable discrete measured…

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…

Inspired by the classical theory of modules over a monoid, we give a first account of the natural notion of module over a monad. The associated notion of morphism of left modules ("Linear" natural transformations) captures an important…

We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable…

We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations.…

Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology,…

We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be…

A holomorphic continuation of Jacquet type integrals for parabolic subgroups with abelian nilradical is studied. Complete results are given for generic characters with compact stabilizer and arbitrary representations induced from admissible…

Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial functor is again a quasi-category admitting…