Related papers: Multi-adjoint concept lattices via quantaloid-enri…
We prove that a Quillen adjunction of model categories (of which we do not require functorial factorizations and of which we only require finite bicompleteness) induces a canonical adjunction of underlying quasicategories.
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
For an oriented knot $K$, we construct a functor from the category of pointed quandles to the category of quandles in three different ways. We also extend the quandle cocycle invariants of knots by using these quandle-valued invariant of…
The notion of multidimensional quadrilateral lattice is introduced. It is shown that such a lattice is characterized by a system of integrable discrete nonlinear equations. Different useful formulations of the system are given. The…
We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
We develop a cofibrantly generated model category structure in the category of topological spaces in which weak equivalences are A-weak equivalences and such that the generalized CW(A)-complexes are cofibrant objects. With this structure…
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…
Using the language of double categories we generalise a classical result on finite-product-preserving left Kan extensions, by Ad\'amek and Rosick\'y, to one on left Kan extensions that preserve algebraic structures defined by `suitable'…
We give a detailed account of the theory of enrichment over a bicategory and show that it establishes a two-fold generalization of enrichment over both quantaloids and monoidal categories. We define complete B-categories, a generalization…
For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.
We investigate fundamental properties of adjoint functors to the precomposition functor in the category of strict polynomial functors.
A multiple conjugation quandle is an algebra whose axioms are motivated from handlebody-knot theory. Any linear extension of a multiple conjugation quandle can be described by using a pair of maps called an MCQ Alexander pair. In this…
In this paper, we study Clifford algebra construction from the perspective of adjunctions motivated by the general framework of Krashen and Lieblich. We introduce a category of weighted polynomial laws whose associated Clifford algebra…
There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms…
By using the Dold-Kan correspondence we construct a Quillen adjunction between the model categories of non-cocommutative coassociative simplicial and differential graded coalgebras over a field. We restrict to categories of connected…
A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…
Our subject is that of categories, functors and distributors enriched in a base quantaloid Q. We show how cocomplete Q-categories are precisely those which are tensored and conically cocomplete, or alternatively, those which are tensored,…