English
Related papers

Related papers: Relation lifting, with an application to the many-…

200 papers

We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary endofunctors of Set. We identify finitary monads with…

Category Theory · Mathematics 2013-07-12 Richard Garner

We force $2^\lambda$ to be large and for many pairs in the interval $(\lambda,2^\lambda)$ a stronger version of the polarized partition relations hold. We apply this toproblem in general topology

Logic · Mathematics 2023-08-24 Saharon Shelah

Let $V$ be a $G$-module where $G$ is a complex reductive group. Let $Z:=\quot VG$ denote the categorical quotient and let $\pi\colon V\to Z$ be the morphism dual to the inclusion $\O(V)^G\subset\O(V)$. Let $\phi\colon Z\to Z$ be an…

Group Theory · Mathematics 2014-02-26 Gerald W. Schwarz

Noticing the similarity between the monotone weak distributive laws combining two layers of nondeterminism in sets and in compact Hausdorff spaces, we study whether the latter law can be obtained automatically as a weak lifting of the…

Logic in Computer Science · Computer Science 2025-07-18 Quentin Aristote

We develop a homotopy theoretical version of classical Morita theory using the notion of a strong monad. It was Anders Kock who proved that a monad T in a monoidal category E is strong if and only if T is enriched in E. We prove that this…

Category Theory · Mathematics 2013-02-13 Kruna Segrt Ratkovic

In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…

Category Theory · Mathematics 2014-11-13 Christina Vasilakopoulou

We show that under quite general conditions, various multifractal spectra may be obtained as Legendre transforms of functions $T\colon \RR\to \RR$ arising in the thermodynamic formalism. We impose minimal requirements on the maps we…

Dynamical Systems · Mathematics 2010-02-04 Vaughn Climenhaga

In this article we study commutant lifting, more generally intertwining lifting, for different reproducing kernel Hilbert spaces over two domains in $\mathbb{C}^n$, namely the unit ball and the unit polydisc. The reproducing kernel Hilbert…

Functional Analysis · Mathematics 2020-04-07 Sibaprasad Barik , Monojit Bhattacharjee , B. Krishna Das

In recent years, algebraic studies of the differential calculus and integral calculus in the forms of differential algebra and Rota-Baxter algebra have been merged together to reflect the close relationship between the two calculi through…

Category Theory · Mathematics 2020-07-27 Li Guo , William Keigher , Shilong Zhang

Markov categories, having tensors with copying and discarding, provide a setting for categorical probability. This paper uses finite colimits and what we call uniform states in such Markov categories to define a (fixed size) multiset…

Logic in Computer Science · Computer Science 2021-12-30 Bart Jacobs

In the previous article 'A Mackey-functor theoretic interpretation of biset functors', we have constructed the 2-category $\mathbb{S}$ of finite sets with variable finite group actions, in which bicoproducts and bipullbacks exist. As shown…

Category Theory · Mathematics 2015-12-08 Hiroyuki Nakaoka

A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generalizes a mixed distributive law due to Beck. We show that a…

Category Theory · Mathematics 2012-01-27 Gabriella Böhm , Stephen Lack , Ross Street

Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other…

Combinatorics · Mathematics 2021-09-09 Pablo Soberón , Yuki Takahashi

Classical functional calculus is primarily spectral, capturing eigenvalue information through resolvent methods while largely ignoring nilpotent structure. Building on the projector-nilpotent characterization developed in our companion…

Functional Analysis · Mathematics 2026-05-14 Shih-Yu Chang

We continue the study of the correlation functions for the point stochastic processes introduced in Part I (G.Olshanski, math.RT/9804086). We find an integral representation of all the correlation functions and their explicit expression in…

Representation Theory · Mathematics 2007-05-23 Alexei Borodin

We consider all 16 unary operations that, given a homogeneous binary relation R, define a new one by a boolean combination of xRy and yRx. Operations can be composed, and connected by pointwise-defined logical junctors. We consider the…

Logic · Mathematics 2021-02-11 Jochen Burghardt

We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…

Category Theory · Mathematics 2016-05-27 Domenico Fiorenza , Fosco Loregian

We prove a modularity lifting theorem for potentially Barostti-Tate representations over totally real fields, generalising recent results of Kisin. Unfortunately, there was an error in the original version of this paper, meaning that we can…

Number Theory · Mathematics 2008-10-10 Toby Gee

This is a continuation of the series of notes on the dynamics of quadratic polynomials. We show the following Rigidity Theorem: Any combinatorial class contains at most one quadratic polynomial satisfying the secondary limbs condition with…

Dynamical Systems · Mathematics 2016-09-06 Mikhail Lyubich

Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey…

Category Theory · Mathematics 2007-05-23 Maria Manuel Clementino , Dirk Hofmann , Isar Stubbe