Related papers: Relevant Categories and Partial Functions
Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite $\infty$-category theory has not been formalized. To support future work on formalizing $\infty$-category theory…
A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…
In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all…
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…
Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence…
A new classification of real functions and other related real objects defined within a compact interval is proposed. The scope of the classification includes normal real functions and distributions in the sense of Schwartz, referred to…
We define the notion of right $n$-angulated category, which generalizes the notion of right triangulated category. Let $\mathcal{C}$ be an additive category or $n$-angulated category and $\mathcal{X}$ a covariantly finite subcategory, we…
We give an elementary characterization of those quantaloids Q for which the category Cat(Q) of Q-enriched categories and functors is cartesian closed. We then unify several known cases (previously proven using ad hoc methods) and we give…
We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…
An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which…
Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morphisms (such as the pure ones), forming a premonoidal…
The problem of all-relevant feature selection is concerned with finding a relevant feature set with preserved redundancies. There exist several approximations to solve this problem but only one could give a distinction between strong and…
The category ${\rm Rel}(\mathcal{C})$ may be formed for any category $\mathcal{C}$ with finite limits using the same objects as $\mathcal{C}$ but whose morphisms from $X$ to $Y$ are binary relations in $\mathcal{C}$, that is, subobjects of…
In categories of linear relations between finite dimensional vector spaces, composition is well-behaved only at pairs of relations satisfying transversality and monicity conditions. A construction of Wehrheim and Woodward makes it possible…
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…
In this paper we show that the category of frames, and, thus, the cate- gory of locales is 'rigid'. This means that every endo-equivalence on them is isomorphic to the identity functor. To reach this result we prove new results concerning…
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning,…
We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived…
We define here the category of partial differential equations. Special cases of morphisms from an object (equation) are symmetries of the equation and reductions of the equation by a symmetry groups, but there are many other morphisms. We…