Related papers: On the Category of Partial Bijections
Partiality is a natural phenomenon in computability that we cannot get around. So, the question is whether we can give the areas where partiality occurs, that is, where non-termination happens, more structure. In this paper we consider…
This paper deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully…
This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the…
We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and…
In 2017, Igusa and Todorov gave a bijection between signed exceptional sequences and ordered partial clusters. In this paper, we show that every term in an exceptional sequence is either relatively projective or relatively injective or both…
Let R be a quotient ring of a commutative coherent regular ring by a finitely generated ideal. Hovey gave a bijection between the set of coherent subcategories of the category of finitely presented R-modules and the set of thick…
Let $\mathcal A$ be a Hom-finite abelian category with enough projectives. In this note, we show that any covariantly finite $\tau$-rigid subcategory is contained in a support $\tau$-tilting subcategory. We also show that support…
We develop a general theory of partial morphisms in additive exact categories which extends the model theoretic notion introduced by Ziegler in the particular case of pure-exact sequences in the category of modules over a ring. We relate…
Let $S$ be a scheme contained in $\mathbf{Sch}_{fppf}$. Let $\mathfrak{X}$ be a Noetherian separated algebraic space over $S$. In this paper, we interpret localizing subcategories of the derived category of $\mathfrak{X}$ by using subsets…
In this paper we show that the Baues-Wirsching complex used to define cohomology of categories is a 2-functor from a certain 2-category of natural systems of abelian groups to the 2-category of chain complexes, chain homomorphism and…
We prove that separable extensions of noetherian rings and finite \'etale morphisms of noetherian schemes give rise to separable extensions of singularity categories.
We introduce a new type of categorical object called a \emph{hom-tensor category} and show that it provides the appropriate setting for modules over an arbitrary hom-bialgebra. Next we introduce the notion of \emph{hom-braided category} and…
Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…
We prove that the Grothendieck ring of the monoidal category of finitely generated graded projective modules for the nil-Brauer category is isomorphic to an integral form of the split iquantum group of rank one. Under this isomorphism, the…
This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every…
The concept of relative sectional category expands upon classical sectional category theory by incorporating the pullback of a fibration along a map. Our paper aims not only to explore this extension but also to thoroughly investigate its…
In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…
We study the cluster categories arising from marked surfaces (with punctures and non-empty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include…
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category of finite-dimensional Hilbert spaces into the category of…