Related papers: A Note on "Extensional PERs"
We study closedness of the range, adjointability and generalized invertibility of modular operators between Hilbert modules over locally C*-algebras of coefficients. Our investigations and the recent results of M. Frank [Characterizing…
This article studies the categorical setting of Abramsky, Haghverdi, and Scott's untyped linear combinatory algebras, and relates this to more recent work of Abramsky and Heunen on Frobenius algebras in the infinitary setting. The key to…
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…
We introduce the notion of intrinsic semilattice entropy $\widetilde h$ in the category $\mathcal L_{qm}$ of generalized quasimetric semilattices and contractive homomorphisms. By using appropriate categories $\mathfrak X$ and functors…
We define the algebraic cobordism of $\infty$-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model…
We study tensor structures on (Rep G)-module categories defined by actions of a compact quantum group G on unital C*-algebras. We show that having a tensor product which defines the module structure is equivalent to enriching the action of…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We show that the equivariant $E$-theory category $\mathrm{E}_{\mathrm{sep}}^{G}$ for separable $C^{*}$-algebras is a compactly assembled stable $\infty$-category. We derive this result as a consequence of the shape theory for…
Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
We introduce the critical Weinstein infinity-category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection P of integers, construct a P-flexibilization…
Starting from its original definition in module categories with respect to projective modules, the index has played an important role in various aspects of homological algebra, categorification of cluster algebras and $K$-theory. In the…
We generalize Jones' planar algebras by internalising the notion to a pivotal braided tensor category $\mathcal{C}$. To formulate the notion, the planar tangles are now equipped with additional `anchor lines' which connect the inner circles…
We give an elementary description of $2$-categories $\mathbf{Cat}\left(\mathcal{E}\right)$ of internal categories, functors and natural transformations, where $\mathcal{E}$ is a category modelling Lawvere's elementary theory of the category…
If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space…
We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…
We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…
We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…
We consider two endofunctors of the form $~F:X\longrightarrow M\otimes X~$, where $~M~$ is a non degenerate module, related to the unit interval and the Sierpinski gasket, and their final co-algebras. The functors are defined on the…
Very recently, extended fractional cumulative residual entropy (EFCRE) has been proposed by Foroghi et al. (2022). In this paper, we introduce extended fractional cumulative past entropy (EFCPE), which is a dual of the EFCRE. The newly…