Related papers: Yoneda lemma for complete Segal spaces

We present a version of arithmetic in all finite types which allows for a definition of equality at higher types for which all congruence are derivable, for which the soundness of the Dialectica interpretation is provable inside the system…

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…

We give an interpretation of J-spaces in terms of symmetric spectra in symmetric sequences. As application we show how one can define graded endomorphism objects in a general situation. As example we discuss the motivic bigraded…

The purpose of these notes is to collect in one place some facts on the category of finite totally ordered sets and some related categories. More specifically, we collect some results on them which will be useful for the study of iteratedly…

In this paper, we extend some classical results of the Szego theory of orthogonal polynomials on the unit circle to the infinite-dimensional case, and we establish the corresponding Szego limit theorem.

We investigate the Eilenberg-Moore algebras for the Giry monad defined on the category of measurable spaces using super convex spaces. The category of super convex spaces has a subcategory consisting of the one point extension of the real…

We propose a framework for producing interesting subcategories of the category ${}_A\mathsf{Mod}$ of left $A$-modules, where $A$ is an associative algebra over a field $k$. The construction is based on the composition, $Y$, of the Yoneda…

We prove that, for any natural number n $\ge$ 1, we can find a finite alphabet $\Sigma$ and a finitary language L over $\Sigma$ accepted by a one-counter automaton, such that the $\omega$-power L $\infty$ := {w 0 w 1. .. $\in$ $\Sigma$…

We prove and generalize some recent conjectures of Z.-W. Sun on infinite series whose summands involve products of harmonic numbers and several binomial coefficients. We evaluate various classes of infinite sums in closed form by…

Let A be a finite or countable alphabet and let $\theta$ be a literal (anti-)automorphism onto A * (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under…

We give a new proof of the equivalence between two of the main models for $(\infty,n)$-categories, namely the $n$-fold Segal spaces of Barwick and the $\Theta_{n}$-spaces of Rezk, by proving that these are algebras for the same monad on the…

In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…

In category theory, the use of string diagrams is well known to aid in the intuitive understanding of certain concepts, particularly when dealing with adjunctions and monoidal categories. We show that string diagrams are also useful in…

We prove that several results of lineability/spaceability in the framework of sequence spaces are valid in a stricter sense.

We generalize the differential space concept as a tool for developing differential geometry, and enrich this geometry with infinitesimals that allow us to penetrate into the superfine structure of space. This is achieved by Yoneda embedding…

We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for…

We prove a kind of a pumping lemma for languages accepted by one-register alternating finite-memory automata. As a corollary, we obtain that the set of lengths of words in such languages is semi-linear.

We establish and advocate for a novel branch of category theory, centered around strong dinatural transformations (herein known as "paranatural transformations"). Paranatural transformations generalize natural transformations to…

In this paper we present a purely syntactical proof of the operational equivalence of $I=\lambda xx$ and the $\lambda$-term $J$ that is the $\eta$-infinite expansion of $I$.

We characterise Tychonoff spaces X so that C(X) is universally {\sigma}-complete and universally complete, respectively.