Related papers: A homotopy double groupoid of a Hausdorff space II…

The aim of this contribution is twofold. First, we show that when two (or more) different quantum groups share the same noncommutative spacetime, such an 'ambiguity' can be resolved by considering together their corresponding noncommutative…

This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first…

The study of the pentagon (fusion) equation leds to the Structure and the Classification theorem for finite dimenasional Hopf algebras: there exists a one to one correspondence between the set of types of n-dimensional Hopf algebtras and…

Building on the theory of noncommutative complex structures, the notion of a noncommutative K\"ahler structure is introduced. In the quantum homogeneous space case many of the fundamental results of classical K\"ahler geometry are shown to…

Grothendieck-Verdier duality is a powerful and ubiquitous structure on monoidal categories, which generalises the notion of rigidity. Hopf algebroids are a generalisation of Hopf algebras, to a non-commutative base ring. Just as the…

If k is an arbitrary field, we construct a category of k-1-motives in which every commutative algebraic k-group G has a dual object $G^{\vee}$. When k is a local field of arbitrary characteristic, we establish Pontryagin duality theorems…

Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…

A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the…

We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories.…

Hausdorff relation, topologically identifying points in a given space, belongs to elementary tools of modern mathematics. We show that if subtle enough mathematical methods are used to analyze this relation, the conclusions may be…

A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result…

Higson proved that every homotopy invariant, stable and split exact functor from the category of $C^*$-algebras to an additive category factors through Kasparov's $KK$-theory. By adapting a group equivariant generalization of this result by…

Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic…

In this paper, we develop the theory of bimodules over von Neumann algebras, with an emphasis on categorical aspects. We clarify the relationship between dualizability and finite index. We also show that, for von Neumann algebras with…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can only expect dualities for categories cogenerated by the…

Let $P^{2n+1}$ be a two-cell complex which is formed by attaching a $(2n+1)$--cell to a $2m$--sphere by a suspension map. We construct a universal space $U$ for $P^{2n+1}$ in the category of homotopy associative, homotopy commutative…