Related papers: Local categories: a new framework for partiality
Transformational music theory mainly deals with group and group actions on sets, which are usually constituted by chords. For example, neo-Riemannian theory uses the dihedral group D24 to study transformations between major and minor…
Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…
In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between…
Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…
We formulate an alternative approach to describing Ehresmann semigroups by means of left and right \'etale actions of a meet semilattice on a category. We also characterize the Ehresmann semigroups that arise as the set of all subsets of a…
Post-hoc global/local feature attribution methods are progressively being employed to understand the decisions of complex machine learning models. Yet, because of limited amounts of data, it is possible to obtain a diversity of models with…
The category $\bcalNT$ is a category of certain commutative graded algebras over a field. It was introduced in \cite{Lobos2} as a generalization of algebras generated by Jucys-Murphy elements in the many \textbf{End} algebras of the…
In this paper, we define a new structure analogous to group, called partial group. This structure concerns the partial stability by the composition inner law. We generalize the three isomorphism theorems for groups to partial groups.
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…
In this paper we characterize the sectional category of subgroup inclusions and the $r^{th}$-sequential topological complexity of aspherical spaces of a group G in terms of the A-genus in the sense of Clapp-Puppe and Bartsch for a suitable…
In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…
This paper is devoted to the comparison of different localized categories of differential complexes. The first result is that the canonical functor from the category of complexes of differential operators of order one (defined by Herrera…
We define the block neighborhood of a reversible CA, which is related both to its decomposition into a product of block permutations and to quantum computing. We give a purely combinatorial characterization of the block neighborhood, which…
We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over…
We introduce relative homological and weakly homological categories, where ``relative'' refers to a distinguished class of normal epimorphisms. It is a generalization of homological categories, but also protomodular categories can be…
Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…
Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were…