English
Related papers

Related papers: Extending set functors to generalised metric space…

200 papers

In this mainly expository note, we state a criterion for when a left Kan extension of a lax monoidal functor along a strong monoidal functor can itself be equipped with a lax monoidal structure, in a way that results in a left Kan extension…

Category Theory · Mathematics 2018-09-28 Tobias Fritz , Paolo Perrone

Given a continuous monadic functor T in the category of Tychonov spaces for each discrete topological semigroup X we extend the semigroup operation of X to a right-topological semigroup operation on TX whose topological center contains the…

Category Theory · Mathematics 2011-08-23 Taras Banakh , Volodymyr Gavrylkiv

We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…

Category Theory · Mathematics 2026-05-04 Oisín Flynn-Connolly

In this work we introduce the notion of higher $\mathbb{E}$-extension groups for an extriangulated category $\mathcal{C}$ and study the quotients $\mathcal{X}_{n+1}^{\vee}/[\mathcal{X}]$ and $\mathcal{X}_{n+1}^{\wedge}/[\mathcal{X}]$ when…

Representation Theory · Mathematics 2023-09-27 Mindy Y. Huerta , Octavio Mendoza , Corina Sáenz , Valente Santiago

We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits…

Category Theory · Mathematics 2024-10-07 Hadrian Heine

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

Category Theory · Mathematics 2024-12-23 Aurélien Djament , Antoine Touzé

Soit F la cat\'{e}gorie des foncteurs entre espaces vectoriels sur un corps fini. Les cat\'{e}gories de foncteurs en grassmanniennes sont obtenues en rempla\c{c}ant la source de cette cat\'{e}gorie par la cat\'{e}gorie des couples…

Algebraic Topology · Mathematics 2016-08-16 Aurélien Djament

Some properties of the (normed) dual Hom-functor $D$ and its iterations $D^n$ are exhibited. For instance: $D$ turns every canonical embedding (in the second dual space) into a retraction (of the third dual onto the first one); $D$ rises…

Functional Analysis · Mathematics 2019-03-18 Nikica Uglesic

The simplicial extension of any functor from Sets to Sets which commutes with directed colimits takes weak equivalences to weak equivalences. The goal of the present paper is construct a framework which can be used to proof results of this…

Algebraic Geometry · Mathematics 2009-09-28 Vladimir Voevodsky

Using generalized enriched categories, in this paper we show that Rosick\'{y}'s proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over…

Category Theory · Mathematics 2019-05-02 Maria Manuel Clementino , Dirk Hofmann , Willian Ribeiro

We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…

Category Theory · Mathematics 2024-06-13 Fernando Lucatelli Nunes , Rui Prezado , Matthijs Vákár

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

We define a unified categorical framework for studying six subproblems arising from the classical Four Subspace Problem. For each subproblem, we construct a functor from its associated category to the category of representations of the…

Representation Theory · Mathematics 2026-03-27 Ivon Dorado , Gonzalo Medina

We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…

Category Theory · Mathematics 2016-01-07 Richard Garner , Ignacio López Franco

We present a collection of results that imply that an endofunctor on a category has a terminal object obtainable as a countable limit of its terminal-coalgebra chain. This holds for finitary endofunctors preserving nonempty binary…

Logic in Computer Science · Computer Science 2025-09-03 Jiří Adámek , Stefan Milius , Lawrence S. Moss

Given a cartesian closed category $\mathcal{V}$, we introduce an internal category of elements $\int_\mathcal{C} F$ associated to a $\mathcal{V}$-functor $F\colon \mathcal{C}^{\mathrm{op}}\to \mathcal{V}$. When $\mathcal{V}$ is extensive,…

Category Theory · Mathematics 2023-08-29 Lyne Moser , Maru Sarazola , Paula Verdugo

We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object…

Category Theory · Mathematics 2023-12-08 Kevin Coulembier , Pavel Etingof

We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and…

Category Theory · Mathematics 2022-07-08 Jason Parker

In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads to the category of V-relations. In the process, we give a…

Category Theory · Mathematics 2015-07-30 Dirk Hofmann , Gavin J. Seal

This paper provides a compositional approach to Taylor expansion, in the setting of cartesian differential categories. Taylor expansion is captured here by a functor that generalizes the tangent bundle functor to higher order derivatives.…

Logic in Computer Science · Computer Science 2025-05-23 Aymeric Walch