相关论文: The Category of Operator Spaces and Complete Contr…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

We show that every action operad gives rise to a notion of monoidal category via the categorical version of the Borel construction, embedding action operads into the category of 2-monads on $\mathbf{Cat}$. We characterize those 2-monads in…

In this paper, we try to answer the following question: given a modular tensor category $\A$ with an action of a compact group $G$, is it possible to describe in a suitable sense the ``quotient'' category $\A/G$? We give a full answer in…

We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational…

To provide a categorical semantics for co-intuitionistic logic one has to face the fact, noted by Tristan Crolard, that the definition of co-exponents as adjuncts of coproducts does not work in the category Set, where coproducts are…

We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…

We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the…

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

We study Lie algebras of type I, that is, a Lie algebra $\mathfrak{g}$ where all the eigenvalues of the operator ad$_X$ are imaginary for all $X\in \mathfrak{g}$. We prove that the Morse-Novikov cohomology of a Lie algebra of type I is…

Let $Conf^{lf}_{\infty}(\C)$ and $C^{lf}_{\infty}(\C)$ denote the locally finite infinite ordered and unordered configuration spaces of the complex plane. We prove that both $Conf^{lf}_{\infty}(\C)$ and $C^{lf}_{\infty}(\C)$ are aspherical.…

This is a continuation of the paper "Modular tensor categories and orbifold theories", arXiv:math.QA/0104242. It discusses orbifold models of conformal filed theory, or, in mathematical language, question of constructing the category of…

Given an exact symplectic manifold M and a support Lagrangian \Lambda, we construct an infinity-category Lag, which we conjecture to be equivalent (after specialization of the coefficients) to the partially wrapped Fukaya category of M…

We incorporate a category of certain modules for an affine Lie algebra, of a certain fixed non-positive-integral level, considered by Kazhdan and Lusztig, into the representation theory of vertex operator algebras, by using the logarithmic…

We construct projective covers of irreducible V-modules in the category of grading-restricted generalized V-modules when V is a vertex operator algebra satisfying the following conditions: 1. V is C_{1}-cofinite in the sense of Li. 2. There…

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this…

We summarize and deepen recent results on systems of orthogonal pure states on operator algebras. Especially, we focus on noncommutative generalizations of some principles of topology of locally compact spaces such as exposining points by…

We give a new description of computads for weak globular $\omega$-categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads, and allows a new definition of $\omega$-category that…

A commutative Rota-Baxter algebra can be regarded as a commutative algebra that carries an abstraction of the integral operator. With the motivation of generalizing the study of algebraic geometry to Rota-Baxter algebra, we extend the…

We prove that the stable moduli space of $(n-1)$-connected, $n$-parallelizable, $(2n+1)$-dimensional manifolds is homology equivalent to an infinite loopspace for $n \geq 4, n \neq 7$. The main novel ingredient is a version of the cobordism…

The space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and…