相关论文: Notes on enriched categories with colimits of some…

It was recently shown by van den Broeck at al. that the symmetric weighted first-order model counting problem (WFOMC) for sentences of two-variable logic FO2 is in polynomial time, while it is Sharp-P_1 complete for some FO3-sentences. We…

This paper addresses various questions about pairs of similarity classes of matrices which contain commuting elements. In the case of matrices over finite fields, we show that the problem of determining such pairs reduces to a question…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

Consider a H\"older continuous potential $\phi$ defined on the full shift $A^\nn$, where $A$ is a finite alphabet. Let $X\subset A^\nn$ be a specified sofic subshift. It is well-known that there is a unique Gibbs measure $\mu_\phi$ on $X$…

In this short note we prove that two definitions of (co)ends in $\infty$-categories, via twisted arrow $\infty$-categories and via $\infty$-categories of simplices, are equivalent. We also show that weighted (co)limits, which can be defined…

We consider a minimally-coupled inflationary theory with a general scalar potential $V(f(\varphi))= V(\xi\sum_{k=1}^{n}\lambda_k \varphi^k)$ containing a stationary point of maximal order $m$. We show that asymptotically flat potentials can…

For a small quantaloid $\mathcal{Q}$, a $\mathcal{Q}$-closure space is a small category enriched in $\mathcal{Q}$ equipped with a closure operator on its presheaf category. We investigate $\mathcal{Q}$-closure spaces systematically with…

We specialise a recently introduced notion of generalised dinaturality for functors $T : (\mathcal{C}^\text{op})^p \times \mathcal{C}^q \to \mathcal{D}$ to the case where the domain (resp., codomain) is constant, obtaining notions of ends…

Let $f$ be a $C^{1+\alpha}$ diffeomorphism of a compact Riemannian manifold and $\mu$ an ergodic hyperbolic measure with positive entropy. We prove that for every continuous potential $\phi$ there exists a sequence of basic sets $\Omega_n$…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

We construct classifying $\infty$-topoi by showing that the $(\infty,2)$-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos, including the prestack of spectra.

We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

We show that both the $\infty$-category of $(\infty, \infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner…

For given two harmonic functions $\Phi$ and $\Psi$ with real coefficients in the open unit disk $\mathbb{D}$, we study a class of harmonic functions $f(z)=z-\sum_{n=2}^{\infty}A_nz^{n}+\sum_{n=1}^{\infty}B_n\bar{z}^n$ $(A_n, B_n \geq 0)$…

We prove that the set of all integrable functions whose sequences of negative (resp. nonnegative) Fourier coefficients belong to $\ell^1\cap\ell^\Phi_{\phi,w}$ (resp. to $\ell^1\cap\ell^\Psi_{\psi,\varrho}$), where $\ell^\Phi_{\phi,w}$ and…

The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the…

Let $D$ be an indefinite quaternion division algebra over $\mathbb{Q}$. We approach the problem of bounding the sup-norms of automorphic forms $\phi$ on $D^\times(\mathbb{A})$ that belong to irreducible automorphic representations and…

We apply the theory of weighted bicategorical colimits to study the problem of existence and computation of such colimits of birepresentations of finitary bicategories. The main application of our results is the complete classification of…

The category of I-spaces is the diagram category of spaces indexed by finite sets and injections. This is a symmetric monoidal category whose commutative monoids model all E-infinity spaces. Working in the category of I-spaces enables us to…