相关论文: Wide Morita contexts in Bicategories

We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We…

We shall introduce the notions of the strong Morita equivalence for unital inclusions of unital $C^*$-algebras and conditional expectations from an equivalence bimodule onto its closed subspace with respect to conditional expectations from…

Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategorical version of linearly distributive categories. Essentially,…

This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free…

We study the totality of categories weakly enriched in a monoidal bicategory using a notion of enriched icon as 2-cells. We show that when the monoidal bicategory in question is symmetric then this process can be iterated. We show that…

We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent…

We apply the notion of a full convex subcategory to a wide range of algebras including tilted, quasi-tilted, shod, weakly shod, left and right glued, laura, simply connected, strongly simply connected, left supported, and cluster-tilted. In…

The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a…

We generalize principal bundles and quotient stacks to the two-categorical context of bisites. We introduce a notion of principal 2-bundle that makes sense for a 2-category with finite flexible limits, endowed with a bitopology. We then use…

The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover, $\mathbf{Rel}$ is a locally posetal 2-category, since every…

This paper studies the classes of semigoups and monoids with context-free and deterministic context-free word problem. First, some examples are exhibited to clarify the relationship between these classes and their connection with the…

(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimodules between double categories in the loose direction. We…

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…

Morita theory for quantales is developed. The main result of the paper is a characterization of those quantaloids (categories enriched in the symmetric monoidal closed category of sup-lattices) that are equivalent to modular categories over…

To any bimodule which is finitely generated and projective on one side one can associate a coring, known as a comatrix coring. A new description of comatrix corings in terms of data reminiscent of a Morita context is given. It is also…

After we introduced biwreaths and biwreath-like objects in our previous paper, in the present one we define paired wreaths. In a paired wreath there is a monad $B$ and a comonad $F$ over the same 0-cell in a 2-category $\K$, so that $F$ is…

We make explicit the correspondence between syntax and syntactic categories for coherent first-order logic, providing a categorical characterization of bi-interpretability. This is done by creating a biequivalence between a bicategory of…

We take advantage of the correspondence between pseudogroups and inverse quantal frames, and of the recent description of Morita equivalence for inverse quantal frames in terms of biprincipal bisheaves, to define Morita equivalence for…

We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we…

We characterize the pairs of operator spaces which occur as pairs of Morita equivalence bimodules between non-selfadjoint operator algebras in terms of the mutual relation between the spaces. We obtain a characterization of the operator…