In this article we introduce the category of noncommutative Artin motives as well as the category of noncommutative mixed Artin motives. In the pure world, we start by proving that the classical category AM(k)Q of Artin motives (over a base field k) can be characterized as the largest category inside Chow motives which fully-embeds into noncommutative Chow motives. Making use of a refined bridg...

Let C be the differential graded category of differential graded k-modules. We prove that the Yoneda A ∞ -functor Y : A → A ∞ (A,C) is a full embedding for an arbitrary unital A ∞ -category A. For a differential graded k-quiver B we define the free A ∞ -category FB generated by B. The main result is that the restriction A ∞ -functor A ∞ (FB,A) → A1(B,A) is an equivalence, where objects of the l...

2 A bimodule realization of the Temperley-Lieb two-category 8 2.1 Ring A and two-dimensional cobordisms . . . . . . . . . . . . 8 2.2 Flat tangles and the Temperley-Lieb category . . . . . . . . . 10 2.3 The Temperley-Lieb 2-category . . . . . . . . . . . . . . . . . 12 2.4 The ring H . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.5 Projective H-modules . . . . . . . . . . . . . . ....

We construct a 2-equivalence $\mathfrak{CohTheory}^\text{op} \simeq \mathfrak{TypeSpaceFunc}$. Here $\mathfrak{CohTheory}$ is the 2-category of positive theories and $\mathfrak{TypeSpaceFunc}$ type space functors. give precise definition interpretations for logic, which will be 1-cells in $\mathfrak{CohTheory}$. The 2-cells are definable homomorphisms. restricts to duality categories, making ph...

we study algebraic properties of categories of merotopic, nearness, and filter algebras. we show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. the forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...

The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework of coalgebras with structured state spaces. Coalgebra is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor ...

For G a finite abelian group, we study the properties of general equivalence relations on Gn = Gn Sn , the wreath product of G with the symmetric group Sn , also known as the G-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of kGn as well as graded connected Hopf subalgebras of ⊕ n≥o kGn . In particular we construct a G-colou...

Simulations serve as a proof tool to compare the behaviour of reactive systems. We define a notion of Λ-simulation for coalgebraic modal logics, parametric in the choice of a set Λ of monotone predicate liftings for a functor T . That is, we obtain a generic notion of simulation that can be flexibly instantiated to a large variety of systems and logics, in particular in settings that semantical...

Let R be a ring with identity and C(R) denote the category of complexes of R-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over R, denoted K(Prj C(R)), is always well generated and is compactly generated p...

We give a solution, via operator spaces, of an old problem in the Morita equivalence of C*-algebras. Namely, we show that C*-algebras are strongly Morita equivalent in the sense of Rieffel if and only if their categories of left operator modules are isomorphic via completely contractive functors. Moreover, any such functor is completely isometrically isomorphic to the Haagerup tensor product (=...