相关论文: Strict $\infty $-categories. Concrete Duality

We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher…

Riehl and Verity have introduced an "$\infty$-cosmic" framework in which they redevelop the category theory of $\infty$-categories using 2-categorical arguments. In this paper, we begin with a self-contained review of the parts of their…

A review article submitted to Physics Report: Target space duality and discrete symmetries in string theory are reviewed in different settings.

Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of…

In this paper I bring the recent philosophical literature on theoretical equivalence to bear on dualities in physics. Focusing on electromagnetic duality, which is a simple example of S-duality in string theory, I will show that the duality…

We introduce the classes of (strongly) ($\Theta$-)discrete homogeneous spaces. We discuss the relationships of these classes to other classes of spaces possessing homogeneity-related properties, such as (strongly) ($n$-)homogeneous spaces.…

A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…

We show that every additive category with kernels and cokernels admits a maximal exact structure. Moreover, we discuss two examples of categories of the latter type arising from functional analysis.

We give an introduction to the theory of cluster categories and cluster tilted algebras. We include some background on the theory of cluster algebras, and discuss the interplay with cluster categories and cluster tilted algebras.

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries.…

This text is dedicated to the development of the theory of $(\infty,\omega)$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and…

A fundamental step towards studying string theory vacua, and, ultimately, their stability, is that of understanding the underlying mathematical structure of the QFT resulting from its dimensional reduction on Calabi-Yau (CY) manifolds, the…

Generalizing Duality Theorem of V. V. Fedorchuk, we prove Stone-type duality theorems for the following four categories: all of them have as objects the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous…

Firstly, we compare the bounded derived categories with respect to the pure-exact and the usual exact structures, and describe bounded derived category by pure-projective modules, under a fairly strong assumption on the ring. Then, we study…

A duality theorem for the category of locally compact Hausdorff spaces and continuous maps which generalizes the well-known Duality Theorem of de Vries is proved.

In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…

This is a condensed overview of the formal theory of monads in a 2-category. We also define two double categories of monads in a 2-category, extending Lack and Street's 2-categories of monads.

We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples

We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…