Related papers: Filtered Colimit Preserving Functors on Models of …

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components…

We introduce a notion of (co)presheaf on a lax double functor $X$, which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued in sets, possibly preserving finite products, is called a…

We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double…

The integral representation theorem for martingales has been widely used in probability theory. In this work, we propose and prove a general representation theorem for a class of set-valued submartingales. We also extend the stochastic…

Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this paper, we first provide a systematic treatment of sheaves of…

Let $X$ be an arbitrary set. Then a topology $t$ on $X$ is said to be completely useful if every upper semicontinuous linear (total) preorder $\precsim$ on $X$ can be represented by an upper semicontinuous real-valued order preserving…

In this paper we examine certain filtrations of topological Hochschild homology and topological cyclic homology. As an example we show how the filtration with respect to a nilpotent ideal gives rise to an analog of a theorem of Goodwillie…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

The two main theorems of this paper provide a characterization of hyperbolic affine iterated function systems defined on Rm. Atsushi Kameyama (Distances on Topological Self-Similar Sets, Proceedings of Symposia in Pure Mathematics, Volume…

Let $G$ be a locally compact second countable groupoid with a Haar system. In this article, we introduce the induced representation of $G$ from a continuous unitary representation of a closed wide subgroupoid $H$ with a Haarsystem provided…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

We give the decomposition into irreducible factors of Weil representations of the symplectic groups at even levels, generalizing previous decompositions at odd levels. We then derive the decomposition of the quantum representations of…

This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to Specker's T-operation. Such a development leads one to…

We introduce topological conditions on a broad class of functionals that ensure that the persistent homology modules of their associated sublevel set filtration admit persistence diagrams, which, in particular, implies that they satisfy…

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 is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These Gromov-Witten type invariants depend on a Calabi-Yau A-infinity category, which plays the role…

The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Scott-continuous, rather than merely monotone. By…

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…

We establish a fixed-point theorem for the face maps that consist in deleting the $i$th entry of an ordered set. Furthermore, we show that there exists random finite sets of integers that are almost invariant under such deletions.…