Related papers: Kan Extensions in Context of Concreteness
This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…
We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in…
We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…
Factorizations over cones and their duals play central roles for many areas of mathematics and computer science. One of the reasons behind this is the ability to find a representation for various objects using a well-structured family of…
Let k be an algebraically closed field. Given an extension A : B of finite-dimensional k- algebras, we establish criteria ensuring that the representation-theoretic notion of polynomial growth is preserved under ascent and descent. These…
Building on Retakh's approach to Ext groups through categories of extensions, Schwede reobtained the well-known Gerstenhaber algebra structure on Ext groups over bimodules of associative algebras both from splicing extensions (leading to…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
The extended Shi and Catalan arrangements are well investigated arrangements. In this paper, we prove that the cone of the extended Catalan arrangement of type A is always hereditarily free, while we determine the dimension in which the…
Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two…
We present a short review of geometric and algebraic approach to causal cones and describe cone preserving transformations and their relationship with causal structure related to special and general theory of relativity. We describe Lie…
After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic…
There are many category-theoretic notions of algebraic theory, including Lawvere theories, monads, PROPs and operads. The first central notion of this thesis is a common generalisation of these, which we call a proto-theory. In order to…
We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our…
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…
A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable…
This is the seventh part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VII), we give sufficient…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
The aim of this paper is to give an alternative construction of Street's cosimplicial object of orientals, based on an idea of Burroni that orientals are free algebras for some algebraic structure on strict $\omega$-categories. More…
A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As…