Related papers: Codensity and Stone spaces

We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate…

We study typical wall singularity of codimension one for locally compact geodesically complete metric spaces with an upper curvature bound. We provide a geometric structure theorem of codimension one singularity, and a geometric…

We develop finite element spaces of symmetric tensor products of two-forms with polynomial coefficients. In three dimensions, these give higher order finite element spaces of matrix fields with normal-normal continuity, which have…

Functors involved in Fontaine equivalences decompose as extension of scalars and taking of invariants between full subcategories of modules over a topological ring equipped with semi-linear continuous action of a topological monoid. We give…

We consider the Gelfand and Kolmogorov numbers of compact embeddings between weighted function spaces of Besov and Triebel-Lizorkin type with polynomial weights in the non-limiting case. Our main purpose here is to complement our previous…

We consider two types of convolutions ($\ast$ and $\star$) of functions on spaces of finite configurations (finite subsets of a phase space), and some their properties are studied. A connection of the $\ast$-convolution with the convolution…

We introduce a new functor category: the category $\mathcal{P}_{d,n}$ of strict polynomial functors with bounded by $n$ domain of degree $d$ over a field of characteristic $p>0$. It is equivalent to the category of finite dimensional…

We construct explicitly the weights on the simplicial category so that the colimits and limits of 2-functors with those weights provide the Kleisli objects and the Eilenberg-Moore objects, respectively, in any 2-category.

Based on homological algebra of Grothendieck categories of enriched functors, two models for Voevodsky's category of big motives with reasonable correspondences are given in this paper.

Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of category theory which are widely used in semantics of computation and in modern…

We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the…

We study profinite completion of spaces in the model category of profinite spaces and construct a rigidification of the completion functors of Artin-Mazur and Sullivan which extends also to non-connected spaces. Another new aspect is an…

Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density…

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

This is a little investigation into the classification of complexes of direct sums of line bundles on projective spaces. We consider complexes on projective k-space Pk : O_Pk(-1)^a --> O_Pk^b --> O_Pk(1)^c, with the first map injective and…

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…

We examine basis functions on momentum space for the three dimensional Euclidean Snyder algebra. We argue that the momentum space is isomorphic to the SO(3) group manifold, and that the basis functions span either one of two Hilbert spaces.…

Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are…

We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…

Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributive monoidal category. We define a double category of enriched…