Related papers: Morita equivalences between algebraic dependent ty…
We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are…
This paper deals with the comparison of two common types of equivalence groups of differential equations, and this gives rise to a number of results presented in the form of theorems. It is shown in particular that one type can be…
In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms…
We characterize the inverse semigroups that are Morita equivalent to graph inverse semigroups. We also consider a generalization to inverse semigroups associated with left cancellative categories.
We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…
Two semisimple algebraic groups of the same type are said to be motivic equivalent if the motives of the associated projective homogeneous varieties of the same type are isomorphic. We give general criteria of motivic equivalence in terms…
Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…
In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…
It is well known that a measured groupoid G defines a von Neumann algebra W*(G), and that a Lie groupoid G canonically defines both a C*-algebra C*(G) and a Poisson manifold A*(G). We show that the maps G -> W*(G), G -> C*(G) and G -> A*(G)…
A surjective Morita context connecting semigroups $S$ and $T$ yields a Morita semigroup and a strict local isomorphism from it onto $S$ along which idempotents lift. We describe strong Morita equivalence of firm semigroups in terms of…
A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…
Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical…
Derived equivalences and t-structures are closely related. We use realisation functors associated to t-structures in triangulated categories to establish a derived Morita theory for abelian categories with a projective generator or an…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
We develop a group graded Morita theory over a G-graded G-acted algebra, where G is a finite group.
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…
We generalise the notion of separable equivalence, originally presented by Linckelmann (2011), to an equivalence relation on additive categories. We use this generalisation to show that from an initial equivalence between two algebras we…
We show that a bimodule between block algebras which has a fusion stable endopermutation module as a source and which induces Morita equivalences between centralisers of nontrivial subgroups of a defect group induces a stable equivalence of…