Related papers: Terminal Coalgebras in Countably Many Steps

We define a graded twisted-coassociative coproduct on the tensor algebra $TW$ of any $\Z^n$-graded vector space $W$. If $W$ is the desuspension space $\da V$ of a graded vector space $V$, the coderivations (resp. quadratic ``degree 1''…

In this note, we deal with the fixed points of an endofunctor $F: \mathcal{C} \longrightarrow \mathcal{C}$. Three classes of fixed points are introduced, and the case when $F$ is an endomorphism of a category with pretopology is…

Motivated by symmetric Cauchy matrices, we define symmetric Cauchy tensors and their generating vectors in this paper. Hilbert tensors are symmetric Cauchy tensors. An even order symmetric Cauchy tensor is positive semi-definite if and only…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

This paper is an addendum to the author's previous paper [#Im20a]. Miller et al. [#MSM10] introduced a functor $\sigma\colon\mathbf{pCoarse}\to\mathbf{Sets}$, where $\mathbf{pCoarse}$ is the category of pointed coarse spaces and coarse…

We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with…

It is shown that every continuous homomorphism of Arens-Michael algebras can be obtained as the limit of a morphism of certain projective systems consisting of Fr\'{e}chet algebras. Based on this we prove that a complemented subalgebra of…

Fock modules for multi-dimensional Virasoro algebras (non-central extensions of the diffeomorphism algebra vect(N)) have recently been reported. Using ideas from the antifield formalism, I construct new classes of lowest-energy modules, as…

We prove that any finite-degree polynomial functor is topologically Noetherian. This theorem is motivated by the recent resolution of Stillman's conjecture and a recent Noetherianity proof for the space of cubics. Via work by…

We consider the intersection map on the family of non-empty $\omega$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction…

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…

Containers represent a wide class of type constructions relevant for functional programming and (co)inductive reasoning. Indexed containers generalize this notion to better fit the scope of dependently typed programming. When interpreting…

A unified construction of $H(\textrm{div})$-conforming finite element tensors, including vector element, symmetric matrix element, traceless matrix element, and, in general, tensors with linear constraints, is developed in this work. It is…

We show that a continuously-normed Banach bundle $\mathcal{E}$ over a compact Hausdorff space $X$ whose space of sections is algebraically finitely-generated (f.g.) over $C(X)$ is locally trivial (and hence the section space is projective…

In this paper, we conjecture an extension of the Hilbert basis theorem and the finite generation of invariants to commutative algebras in symmetric finite tensor categories over fields of positive characteristic. We prove the conjecture in…

Ocneanu's tube algebra provides a finite algorithm to compute the Drinfeld center of a fusion category. In this work we reveal the universal property underlying the tube algebra. Take a base category $\mathcal V$ which is strongly concrete,…

For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant…

A theory of modules over posets is developed to define computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology with multiple real parameters. To replace…

By the Telescope Conjecture for Module Categories, we mean the following claim: "Let R be any ring and (A, B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A, B) is of finite type." We prove a…