Related papers: Free constructions and coproducts of d-frames
Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories,…
A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
In this paper, we prove that given a differential graded category C and B a full differential graded subcategory closed under coproducts, there is a canonical recollement of differential graded categories, for which we use enriched…
Motivated by a host of recent applications requiring some amount of redundancy, frames are becoming a standard tool in the signal processing toolbox. In this paper, we study a specific class of frames, known as discrete Fourier transform…
We introduce a bicategory that refines the localization of the category of dg categories with respect to quasi-equivalences and investigate its properties via formal category theory. Concretely, we first introduce the bicategory of dg…
The goal of the article is to get a satisfactory theory of cosupport in the derived category $\mathrm{D}(R)$, this is done by introducing another versions of the "big" and "small" cosupport for complexes. We provide some properties for…
We give necessary and sufficient conditions for stratification and costratification to descend along a coproduct preserving, tensor-exact $R$-linear functor between $R$-linear tensor-triangulated categories which are rigidly-compactly…
We construct supergravity solutions for D-branes in nontrivial flux backgrounds. We revisit the issue of charge quantization in this framework, and show that in these backgrounds, charge need not be quantized. We also show in a particular…
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First,…
We prove that the category of coadmissible D-cap-modules on a smooth rigid analytic space supported on a closed smooth subvariety is naturally equivalent to the category of coadmissible D-cap-modules on the subvariety, and use this result…
We investigate deformations of free and linear free divisors. We introduce a complex similar to the de Rham complex whose cohomology calculates deformation spaces. This cohomology turns out to be zero for many linear free divisors and to be…
The word problem for categories with free products and coproducts (sums), SP-categories, is directly related to the problem of determining the equivalence of certain processes. Indeed, the maps in these categories may be directly…
We construct homology theories with coefficients in L-spectra on the category of ball complexes and we define products in this setting. We also obtain signatures of geometric situations in these homology groups and prove product formulae…
This is an exposition of recent progress in the categorical approach to D-brane physics. I discuss the physical underpinnings of the appearance of homotopy categories and triangulated categories of D-branes from a string field theoretic…
Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the…
We discuss how stability is related to the D-topology of mapping spaces, equipped with the functional diffeology. Indeed, we show that stable classes of mapping spaces are D-open. After a reformulation of the classical stability theorem of…
In this chapter we survey two topics that have recently been investigated in frame theory. First, we give an overview of the class of scalable frames. These are (finite) frames with the property that each frame vector can be rescaled in…
In this paper we intend to introduce the concept of c-K-g-frames, which are the generalization of K-g-frames. In addition, we prove some new results on c-K-g-frames on Hilbert spaces. Moreover, we define the related oprators of c-K-g…
We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of…