English
Related papers

Related papers: Terminal Coalgebras in Countably Many Steps

200 papers

This is a (slightly edited) version of the PhD dissertation of the author, submitted to Brown University in July 2005. We construct a homotopy calculus of functors in the sense of Goodwillie for the categories of rational homotopy theory.…

Algebraic Topology · Mathematics 2007-05-23 Ben Walter

For a vertex operator algebra $V$, one may naturally define spaces of conformal blocks following a construction of Frenkel-Ben-Zvi generalized by Damiolini-Gibney-Tarasca. If $V$ is strongly rational, these spaces of conformal blocks form…

Quantum Algebra · Mathematics 2025-09-09 Chiara Damiolini , Lukas Woike

A Vec-variety is a suitable functor from finite-dimensional vector spaces to finite-dimensional varieties. Most varieties in the geometry of tensors, e.g. the variety of d-way tensors of slice rank at most r, are of this form. We prove that…

Algebraic Geometry · Mathematics 2025-01-14 Christopher Chiu , Alessandro Danelon , Jan Draisma

We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…

Quantum Algebra · Mathematics 2021-02-23 Noelia Bortolussi , Martín Mombelli

We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in…

Category Theory · Mathematics 2025-05-20 Emmanuel Dror Farjoun , Sergei O. Ivanov

We prove that every finite symmetric integral tensor category $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $p>2$ admits a symmetric fiber functor to $\text{sVec}$. This proves Ostrik's…

Quantum Algebra · Mathematics 2019-03-21 Pavel Etingof , Shlomo Gelaki

We develop a novel tool to study the fixed point property of finite posets using a topological approach. Our tool is a construction which turns out to induce an endofunctor of the homotopy category of finite $T_0$--spaces. We study many…

Algebraic Topology · Mathematics 2019-07-09 Ana Gargantini , Miguel Ottina

A denumerable cellular family of a topological space $\mathbf{X}$ is an infinitely countable collection of pairwise disjoint non-empty open sets of $ \mathbf{X}$. It is proved that the following statements are equivalent in $\mathbf{ZF}$:…

General Topology · Mathematics 2020-01-06 Kyriakos Keremedis , Eliza Wajch

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on…

Algebraic Topology · Mathematics 2026-04-21 Dan Petersen , Victor Roca i Lucio , Sinan Yalin

We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…

Algebraic Topology · Mathematics 2017-09-21 Bruno Stonek

This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the \v{C}ech cohomology…

Logic · Mathematics 2024-11-20 Jeffrey Bergfalk , Martino Lupini , Aristotelis Panagiotopoulos

We show that the principal block $\scr O_0$ of the BGG category $\scr O$ for a semisimple Lie algebra $\germ g$ acts faithfully on itself via exact endofunctors which preserve tilting modules, via right exact endofunctors which preserve…

Representation Theory · Mathematics 2007-08-17 Johan Kåhrström

Varieties of quantitative algebras are fully described by their free-algebra monads on the category Met of metric spaces. For a longer time it has been an open problem whether the resulting enriched monads are precisely the strongly…

Category Theory · Mathematics 2026-02-06 Jiri Adamek

We show that finite-dimensional order unit spaces equipped with a continuous sequential product as defined by Gudder and Greechie are homogeneous and self-dual. As a consequence of the Koecher-Vinberg theorem these spaces therefore…

Quantum Physics · Physics 2020-12-16 John van de Wetering

A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting…

High Energy Physics - Theory · Physics 2014-12-19 Paolo Mattioli , Sanjaye Ramgoolam

Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion…

Representation Theory · Mathematics 2015-10-23 Liping Li

Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a…

Algebraic Topology · Mathematics 2014-09-08 Maria Basterra , Kristine Bauer , Agnes Beaudry , Rosona Eldred , Brenda Johnson , Mona Merling , Sarah Yeakel

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…

Algebraic Topology · Mathematics 2007-05-23 Marco Grandis

In this paper, we study the endomorphism properties of vertex operator algebras over an arbitrary field $\mathbb{F}$, with $\text{Char}(\mathbb{F}) \neq 2$. Let $V$ be a strongly finitely generated vertex operator algebra over $\mathbb{F}$,…

Quantum Algebra · Mathematics 2023-02-07 Chao Yang , Jianqi Liu

The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…

Logic in Computer Science · Computer Science 2023-06-22 Stefan Milius