Related papers: Liftable pairs of functors and Initial objects

In 1997, Hofmann and Streicher introduced an explicit construction to lift a Grothendieck universe from the category of sets into the category of set-valued presheaves on a small category. More recently, Awodey presented an elegant…

Given a hereditary complete cotorsion pair $(\mathsf A,\mathsf B)$ generated by a set of objects in a Grothendieck category $\mathsf K$, we construct a natural equivalence between the Becker coderived category of the left-hand class…

We provide a calculus of mates for functors to the $\infty$-category of $\infty$-categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformations correspond to maps of (co)cartesian fibrations that do…

We introduce a bialgebra axiom for a pair $(c,\ell)$ of a colax-monoidal and a lax-monoidal structures on a functor $F\colon \mathscr{M}_1\to \mathscr{M}_2$ between two (strict) symmetric monoidal categories. This axiom can be regarded as a…

Given an integral commutative residuated lattice L=(L,\vee,\wedge), its full twist-product (L^2,\sqcup,\sqcap) can be endowed with two binary operations \odot and \Rightarrow introduced formerly by M. Busaniche and R. Cignoli as well as by…

In this paper we examine on a pair of adjoint functors $(\phi ^{\ast},\phi_{\ast})$ for a subcategory of the category of crossed modules over commutative algebras where $\phi ^{\ast}:\mathbf{XMod}$\textbf{/}$% Q\rightarrow $…

Let $R$ be a ring, let $G$ be an amenable group and let $R\ast G$ be a crossed product. The goal of this paper is to construct, starting with a suitable additive function $L$ on the category of left modules over $R$, an additive function on…

Consider a Quillen adjunction of two variables between combinatorial model categories from $\mathcal{C}\times\mathcal{D}$ to $\mathcal{E}$, and a set $\mathcal{S}$ of morphisms in $\mathcal{C}$. We prove that there is a localised model…

We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can…

Given an adjoint pair of functors $F,G$, the composite $GF$ naturally gets the structure of a monad. The same monad may arise from many such adjoint pairs of functors, however. Can one describe all of the adjunctions giving rise to a given…

Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion…

A join-semilattice $L$ is said to be conjunctive if it has a top element $1$ and it satisfies the following first-order condition: for any two distinct $a,b\in L$, there is $c\in L$ such that either $a\vee c\not=1=b\vee c$ or $a\vee…

We establish a relative monadicity theorem for relative monads with dense roots in a virtual equipment, specialising to a relative monadicity theorem for enriched relative monads. In particular, for a dense $\mathbb V$-functor $j \colon A…

We propose a relationship between the cohomology of arithmetic groups, and the motivic cohomology of certain (Langlands-)attached motives. The motivic cohomology group in question is that related, by Beilinson's conjecture, to the adjoint…

It is shown that the multiplicative monoids of Brauer's centralizer algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself, and where, moreover, a kind of…

By the SYZ construction, a mirror pair $(X,\check{X})$ of a complex torus $X$ and a mirror partner $\check{X}$ of the complex torus $X$ is described as the special Lagrangian torus fibrations $X \rightarrow B$ and $\check{X} \rightarrow B$…

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…

We construct a flat model structure on the category $_{\mathcal{Q},R}{\mathsf{Mod}}$ of additive functors from a small preadditive category $\mathcal{Q}$ satisfying certain conditions to the module category $_{R}{\mathsf{Mod}}$ over an…

Let $U$ be a silting object in a derived category over a dg-algebra $A$, and let $B$ be the endomorphism dg-algebra of $U$. Under some appropriate hypotheses, we show that if $U$ is good, then there exist a dg-algebra $C$, a homological…

We show that any pointed, preordered module map $\mathfrak{BF}_{\mathrm{gr}}(E) \to \mathfrak{BF}_{\mathrm{gr}}(F)$ between Bowen-Franks modules of finite graphs can be lifted to a unital, graded, diagonal preserving $\ast$-homomorphism…