Related papers: Zigzags and free adjunctions
We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that…
We construct various multiple categories, based on generalised Ehresmann quintets. The main construction is a multiple category whose objects are all the `lax' multiple categories; the transversal arrows are their strict multiple functors…
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
We present an extension of Martin-L\"of Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type…
The coefficient categories of six functor formalisms are often locally rigid, and when this is the case, the exceptional pushforward and pullback adjunctions may be defined formally. In this short note it is shown that for f a proper map…
Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…
We study exponentiable functors in the context of synthetic $\infty$-categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
There are different categorical approaches to variations of transition systems and their bisimulations. One is coalgebra for a functor G, where a bisimulation is defined as a span of G-coalgebra homomorphism. Another one is in terms of path…
In this article, we consider the ball model of an infinite dimensional complex hyperbolic space, i.e. the open unit ball of a complex Hilbert space centered at the origin equipped with the Caratheodory metric. We consider the group of…
A combinatorial theory of associative $n$-categories has recently been proposed, with strictly associative and unital composition in all dimensions, and the weak structure arising as a combinatorial notion of homotopy with a natural…
We establish the functional relations between generating series of higher-order free cumulants and moments in higher-order free probability, solving an open problem posed fifteen years ago by Collins, Mingo, \'Sniady and Speicher. We…
Adjoint functors between the categories of crossed modules of dialgebras and Leibniz algebras are constructed. The well-known relations between the categories of Lie, Leibniz, associative algebras and dialgebras are extended to the…
We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Mart\'inez's link between Makkai's FOLDS (first order logic with…
We show that the positive zoom complexes, with fairly natural morphisms, form a dual category to the category of positive opetopes with contraction epimorphisms. We also show how this duality can be extended to opetopic cardinals.
Let $\ca$ be a small dg category over a field $k$ and let $\cu$ be a small full subcategory of the derived category $\cd\ca$ which generate all free dg $\ca$-modules. Let $(\cb,X)$ be a standard lift of $\cu$. We show that there is a…
We describe a symplectization functor from the Poisson category to the symplectic "category" and we study some of its properties.
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…