Related papers: Enriched bi(co)ends
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
This article presents the basis of a theory of entanglement. We begin with a classical theory of entangled discrete measures in Section~1. Section~2 treats quantum mechanics and discusses the statistics of bounded operators on a Hilbert…
In his fundamental work, Quillen developed the theory of the cotangent complex as a universal abelian derived invariant, and used it to define and study a canonical form of cohomology, encompassing many known cohomology theories. Additional…
In this article, we introduce the first degrees of a cochain complex associated to a strict Lie 2-group whose cohomology is shown to extend the classical cohomology theory of Lie groups. In particular, we show that the second cohomology…
We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured…
We make a few remarks concerning pointwise extensions in a bicategory which include the case of bicategories of enriched categories. We show that extensions, pointwise or not, can be replaced by extensions along very special fully faithful…
In an earlier paper we introduced the notion of 'bifurcating continued fractions' in a heuristic manner. In this paper a formal theory is developed for the 'bifurcating continued fractions'.
We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…
We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…
Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributive monoidal category. We define a double category of enriched…
The goal of the article is to get a satisfactory theory of cosupport in the derived category $\mathrm{D}(R)$, this is done by introducing another versions of the "big" and "small" cosupport for complexes. We provide some properties for…
The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…
A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…
We enhance the biquandle counting invariant using elements of truncated biquandle-labeled Polyak algebras. These finite type enhancements reduce to the finite type enhancements defined by Goussarov, Polyak and Viro for the trivial biquandle…
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…
We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category. Our results rely crucially on an…
We make some remarks on the foundations of the homotopy theory of enriched precategories, as exposed in Carlos Simpson's book "Homotopy theory of higher categories".
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…