相关论文: Pseudo-categories
The purpose of this note is to show how some results from the theory of partial differential equations apply to the study of pseudo-spectra of non-self-adjoint operators, which is a topic of current interest in applied mathematics.
We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…
We study some examples of braided categories and quasitriangular Hopf algebras and decide which of them is pseudosymmetric, respectively pseudotriangular. We show also that there exists a universal pseudosymmetric braided category.
We introduce the notion of Kan injectivity in 2-categories and study its properties. For an adequate 2-category $\mathcal{K}$, we show that every set of morphisms $\mathcal{H}$ induces a KZ-pseudomonad on $\mathcal{K}$ whose 2-category of…
We study, in an abstract axiomatic setting, the notion of sectional category of a morphism. From this, we unify and generalize known results about this invariant in different settings as well as we deduce new applications.
In this paper, we propose a weak version of quotient for the algebraic action of a group on a variety, which we shall call a pseudo-quotient. They arise when we focus on the purely topological properties of good GIT quotients regardless of…
This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully…
We define a class of singularity on arbitrary pairs of a normal variety and an effective $\mathbb{R}$-divisor on it, which we call pseudo-lc in this paper. This is a generalization of the usual lc singularity of pairs and log canonical…
We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…
Deep neural models have achieved state of the art performance on a wide range of problems in computer science, especially in computer vision. However, deep neural networks often require large datasets of labeled samples to generalize…
Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of…
An elementary proof is given for the fact that every locally compact subsemigroup of a compact topological group is a closed subgroup. A sample consequence is that every commutative cancellative pseudocompact locally compact Hausdorff…
A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…
We define a class of quandle-like structures called pseudoquandles and analyze some of their algebraic properties.
In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that…
Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.
Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a…
A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination 'relevant'…