Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary 2-category. Examples include G-graded fusion 1-categories, G-crossed 1-categories. explore the properties 2-categories modules bimodules over algebra, by giving criterion for existence right left adjoints. Then, we co...

We show that for any co-amenable compact quantum group A = C(G) there exists a unique compact Hausdorff topology on the set EA(G) of isomorphism classes of ergodic actions of G such that the following holds: for any continuous field of ergodic actions of G over a locally compact Hausdorff space T the map T → EA(G) sending each t in T to the isomorphism class of the fibre at t is continuous if a...

An approach for a simple, general, and unified theory of effectivity on sets with cardinality not greater than that of the continuum is presented. A standard theory of effectivity on F = {f : N 3 N} has been developed in a previous paper. By representations 6: B--* M this theory is extended to other sets M. Topological and recursion theoretical properties of representations are studied, where t...

by joint continuity of 7r at (go, x). If M is not metric the conclusion of Theorem 1 is no longer valid (consider G the circle and M the continuous functions on G with the topology of pointwise convergence). As a corollary, it is not hard to deduce that a Baire separable metric group G for which multiplication is continuous is a topological group (compare [9] and [2, p. 258]). For example the C...

Using Toruńczyk’s charaterization theorem, we show that the space CB(X,Y ) of bounded continuous mappings from X into Y is a topological manifold modelled on the Hilbert space of weight 20 , with respect to the topology of uniform convergence, under the following three assumptions: (1) X is a noncompact, separable and metrizable space, (2) Y is a complete metric space which is an ANRU (ANR in u...

We prove that if ZFC is consistent so is ZFC + “for any sequence (An) of subsets of a Polish space 〈X, τ〉 there exists a separable metrizable topology τ ′ on X with B(X, τ) ⊆ B(X, τ ′), MGR(X, τ ′) ∩ B(X, τ) = MGR(X, τ) ∩B(X, τ) and An Borel in τ ′ for all n.” This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets...

We give the nuclear analogue of Dadarlat’s characterization of exact quasidiagonal C∗-algebras. Specifically, we prove the following: Theorem 0.1. Let A be a unital separable simple C∗-algebra. Then the following conditions are equivalent: i) A is nuclear and quasidiagonal. ii) A has the stabilization principle. iii) If π : A → M(A ⊗ K) is a unital, purely large ∗-homomorphism, then the image π...

In the topology of coordinatewise convergence ∇∞ is a compact, metrizable and separable space. Denote by C(∇∞) the algebra of real continuous functions on ∇∞ with pointwise operations and the supremum norm. In C(∇∞) there is a distinguished dense subspace F := R [q1, q2, . . . ] generated (as a commutative unital algebra) by algebraically independent continuous functions qk(x) := ∑∞ i=1 x k+1 i...

A linear ordering is said to be representable if it can be order-embedded into the reals. Representable linear orderings have been characterized as those which are separable in the order topology and have at most countably many jumps. We use this characterization to study the representability of a lexicographic product of linear orderings. First we count the jumps in a lexicographic product in ...