We define A∞-bimodules similarly to Tradler and show that this notion is equivalent to an A∞-functor with two arguments which takes values in the differential graded category of complexes of k-modules, where k is a ground commutative ring. Serre A∞-functors are defined via A∞-bimodules likewise Kontsevich and Soibelman. We prove that a unital closed under shifts A∞-category A over a field k adm...

We define A∞-bimodules similarly to Tradler and show that this notion is equivalent to an A∞-functor with two arguments which takes values in the differential graded category of complexes of k-modules, where k is a ground commutative ring. Serre A∞-functors are defined via A∞-bimodules likewise Kontsevich and Soibelman. We prove that a unital closed under shifts A∞-category A over a field k adm...

We adapt the work of Power [14] to describe general, not-necessarily composable, not-necessarily commutative 2-categorical pasting diagrams and their composable and commutative parts. We provide a deformation theory for pasting diagrams valued in the 2-category of k-linear categories, paralleling that provided for diagrams of algebras by Gerstenhaber and Schack [9], proving the standard results...

From the interpretation of Linear Logic multiplicative disjunction as the ε-product defined by Laurent Schwartz, we construct several models of Differential Linear Logic based on usual mathematical notions of smooth maps. This improves on previous results in [BET] based on convenient smoothness where only intuitionist models were built. We isolate a completeness condition, called k-quasi-comple...

We study the question when a ∗-autonomous Mix-category has a representation as a ∗-autonomous Mix-subcategory of a compact one. We define certain partial trace-like operation on morphisms of a Mix-category, which we call a mixed trace, and show that any structure preserving embedding of a Mix-category into a compact one induces a mixed trace on the former. We also show that, conversely, if a Mi...

Endomorphism algebras gure prominently in group representation theory. F or example, if G is a nite group of Lie type, the representation theory of the endomorphism algebra End G Cj G B |sometimes known as the Hecke algebra over C of G|plays a central role in unraveling the complex unipotent c haracters on G 22, 77. Another example arises in the modular representation theory of the nite general...

In nature, one observes that a K-theory of an object is defined in two steps. First a “structured” category is associated to the object. Second, a K-theory machine is applied to the latter category that produces an infinite loop space. We develop a general framework that deals with the first step of this process. The K-theory of an object is defined via a category of “locally trivial” objects w...

Let k be an algebraically closed field and O = k[[t]] ⊂ F = k((t)). For an almost simple algebraic group G we classify central extensions 1 → Gm → E → G(F) → 1, any such extension splits canonically over G(O). Fix a positive integer N and a primitive character ζ : μN (k) → Q ∗ l (under some assumption on the characteristic of k). Consider the category of G(O)biinvariant perverse sheaves on E wi...

We show that K1(E) of an exact category E agrees with K1(DE) of the associated triangulated derivator DE. More generally we show that K1(W) of a Waldhausen category W with cylinders and a saturated class of weak equivalences agrees with K1(DW) of the associated right pointed derivator DW. Introduction For a long time there was an interest in defining a nice K-theory for triangulated categories ...

Clustering is an important means of data mining based on separating data categories by similar features. Unlike the classification algorithm, clustering belongs to the unsupervised type of algorithms. Two representatives of the clustering algorithms are the K-means and the expectation maximization (EM) algorithm. Linear regression analysis was extended to the category-type dependent variable, w...