Related papers: Categorical sequences

The $n$-th symmetric product of a topological space $X$ is the orbit space of the natural action of the symmetric group $S_n$ on the product space $X^n$. In this paper, we compute the sequential topological complexities of (finite products…

We develop the theory of the intertwining distributional versions of the LS-category and the sequential topological complexities of a space $X$, denoted by $\mathsf{icat}(X)$ and $\mathsf{iTC}_m(X)$, respectively. We prove that they satisfy…

We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…

Let $X$ be a simply connected CW-complex of finite type and $\mathbb{K}$ any field. A first known lower bound of LS-category $cat(X)$ is the Toomer invariant $e_{\mathbb{K}} (X)$ (\cite{Too}). In $1980$'s F\'elix et al. introduced the…

Given a quantum subgroup $G\subset U_n$ and a number $k\leq n$ we can form the homogeneous space $X=G/(G\cap U_k)$, and it follows from the Stone-Weierstrass theorem that $C(X)$ is the algebra generated by the last $n-k$ rows of coordinates…

Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...).…

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…

We prove that the cyclic chain complex of the categorical coalgebra of singular chains on an arbitrary topological space $X$ is naturally quasi-isomorphic to the $S^1$-equivariant chains of the free loop space of $X$. This statement does…

We study the cluster category of a canonical algebra A in terms of the hereditary category of coherent sheaves over the corresponding weighted projective line X. As an application we determine the automorphism group of the cluster category…

We formulate and prove an index theorem for loop spaces of compact manifolds in the framework of $KK$-theory. It is a strong candidate for the noncommutative geometrical definition (or the analytic counterpart) of the Witten genus. In order…

Let f: X -> Y be a based map of simply connected spaces. The corresponding evaluation map w: map(X,Y;f) -> Y induces a homomorphism of homotopy groups whose image in pi_n(Y) is called the nth evaluation subgroup of f. The nth Gottlieb group…

We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…

We describe the norming sets for the space of global holomorphic sections to a $k$-power of a positive holomorphic line bundle on a compact complex manifold $X$. We characterize in metric terms the sequence of measurable subsets…

This is a companion to a recent investigation of K-theoretical invariants for symmetric spaces. We introduce a new class of cycles in K-groups, which are connected to elements of an underlying root lattice. This will be needed for a…

In this article we study a homotopy invariant cat(X,B,\xi) on a pair of finite CW complexes with respect to a continuous closed 1-form. This is a generalisation of a Lusternik-Schnirelmann category developed by Farber, studying the topology…

The topology of a space $X$ is generated by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq X$ is closed in $X$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. A space $X$ is a $k$-space…

The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…

The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…

Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as…

A sequence of functions f_n: X -> R from a Baire space X to the reals is said to converge in category iff every subsequence has a subsequence which converges on all but a meager set. We show that if there exists a Souslin Tree then there…