Related papers: Injective symmetric quantaloid-enriched categories
We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of…
Toric quiver varieties (moduli spaces of quiver representations) are studied. Given a quiver and a weight there is an associated quasiprojective toric variety together with a canonical embedding into projective space. It is shown that for a…
We show that the morphism $\Omega$ from the $\imath$quantum loop algebra $^{\texttt{Dr}}\widetilde{\mathbf{U}}(L\mathfrak{g})$ of split type to the $\imath$Hall algebra of the weighted projective line is injective if $\mathfrak{g}$ is of…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.
We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise…
A classification of 2-dimensional surfaces imbedded in spacetime is presented, according to the algebraic properties of their shape tensor. The classification has five levels, and provides among other things a refinement of the concepts of…
The injective hulls of odd cycles are described explicitly.
In this note, we investigate a mixture of combinatorial spectra and stratified simplicial sets, which would be thought of as a model of the spectrum objects of $(\infty, \infty)$-categories.
The analysis of manifold valued data using embedding based methods is linked to the problem of finding suitable embeddings. In this paper we are interested in embeddings of quotient manifolds $\mathrm{SO}(3)/\mathcal{S}$ of the rotation…
Let $L$ be an even indefinite lattice. We show that if $L$ splits off a hyperbolic plane and a scaled hyperbolic plane, then the Kudla-Millson lift of genus $1$ associated to $L$ is injective. Our result includes as special cases all…
The thesis is devoted to abstract, geometric and symmetric aspects of modern elementary particle theories. A new direction in constructing supersymmetric and superstring models based on consequent and strong consideration and inclusion of…
In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…
Continuous lattices were characterised by Martin Escardo as precisely the objects that are Kan-injective w.r.t. a certain class of morphisms. We study Kan-injectivity in general categories enriched in posets. For every class H of morphisms…
We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…
We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched in the corresponding category of coalgebras of the same…
It is shown that four-dimensional generalized symmetric spaces can be naturally equipped with some additional structures defined by means of their curvature operators. As an application, those structures are used to characterize generalized…
We introduce graded, enriched characteristic cycles as a method for encoding Morse modules of strata with respect to a constructible complex of sheaves. Using this new device, we obtain results for arbitrary complex analytic functions on…
In the terms of an `$n$-periodic derived category', we describe explicitly how the orbit category of the bounded derived category of an algebra with respect to powers of the shift functor embeds in its triangulated hull. We obtain a large…
We consider the homotopy category of complexes of projective modules over any gentle algebra. We prove that indecomposable $\Sigma$-pure-injective objects in s must be shifts of string or band complexes. We begin with a survey of purity in…