Related papers: Morita equivalences between algebraic dependent ty…
We study aspects of gauge theory on tori which are a consequences of Morita equivalence. In particular we study the behavior of gauge theory on noncommutative tori for arbitrarily close rational values of Theta. For such values of Theta,…
We establish a duality between monads and monadic morphisms in any $(\infty,2)$-category and characterize monadic morphisms in a wide class of examples. This duality unifies several dualities between algebraic structures and their…
We develop the usage of certain type theories as specification languages for algebraic theories and inductive types. We observe that the expressive power of dependent type theories proves useful in the specification of more complicated…
We prove that the double affine Hecke algebra of type A is Morita equivalent to the quantized affine Schur algebra.
An equivalence structure is a set with a single binary relation, satisfying sentences stating that the relation is an equivalence relation. A computable structure A is said to be $\Delta^0_\alpha$ categorical if for any computable structure…
In this paper we fully solve the Morita equivalence problem for symplectic reflection algebras associated to direct products of finite subgroups of $SL_2(\mathbb{C})$. Namely, given a pair of such symplectic reflection algebras $H_c,…
We prove that two dual operator algebras are weak$^*$ Morita equivalent if and only if they have equivalent categories of dual operator modules via completely contractive functors which are also weak$^*$-continuous on appropriate morphism…
The role of types in categorical models of meaning is investigated. A general scheme for how typed models of meaning may be used to compare sentences, regardless of their grammatical structure is described, and a toy example is used as an…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category…
Two unital operator algebras A, B are called Delta-equivalent if there exists an equivalence functor between the categories A-mod and B-mod which "extends" to a *-functor implementing an equivalence between the categories A-dmod and B-dmod.…
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed…
In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form $n$ over a field $k$ of characteristic not two, and a category arising from an action…
In this article we study the possible Morita equivalence classes of algebras in three families of fusion categories (pointed, near-group and $A \left( 1,l \right)_{\frac{1}{2}}$) by studying the Non-negative Integer Matrix representations…
We introduce a notion of equivalence on tilings which is formulated in terms of their local structure. We compare it with the known concept of locally deriving one tiling from another and show that two tilings of finite type are…
A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf…
We develop Morita theory of monoids in a closed symmetric monoidal category, in the context of enriched category theory.
After embedding the objects quasifolds into the category {Diffeology}, we associate a C*-agebra with every atlas of any quasifold, and show how different atlases give Morita equivalent algebras. This builds a new bridge between diffeology…