Related papers: Lallement functor is a weak right multiadjoint

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

In this paper, we show that for reduced homotopy endofunctors of spaces, F, and for all $n \geq 1$ there are adjoint functors $R_n, L_n$ with $T_n F \simeq R_n F L_n$, where $P_n F$ is the $n$-excisive approximation to $F$, constructed by…

Partial difference operators for a large class of functors between presheaf categories are introduced, extending our difference operator from \cite{Par24} to the multivariable case. These combine into the Jacobian profunctor which provides…

For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…

We introduce a functor from cochain complexes to bicomplexes, called inflation functor, which sends quasi-isomorphisms to the class of pluripotential weak equivalences. We show this functor is part of a Quillen adjunction. Its right adjoint…

Consider a compact metric space $X$, and let $\mathcal{F}=\{f_1,\,f_2,\ldots,\, f_k\}$ be a set of contracting and continuous self maps on $X$. Let $\Sigma$ be a sub-shift on $k$ symbols, and let $\Sigma_k$ be the full shift. Define…

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension…

We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly…

We give an adequate, concrete, categorical-based model for Lambda-S, which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda-S is an extension to first-order lambda calculus unifying two approaches…

Let $\E$ be a finite dimensional Hilbert space. This note finds all factorizations of the right shift semigroup $\S^\E=(S_t^\E)_{t\ge 0}$ on $L^2(\R_+,\E)$ into the product of $n$ commuting contractive semigroups, i.e., characterizes all…

We observe that an enriched right adjoint functor between model categories which preserves acyclic fibrations and fibrant objects is quite generically a right Quillen functor.

Recent models of intensional type theory have been constructed in algebraic weak factorization systems (AWFSs). AWFSs give rise to comprehension categories that feature non-trivial morphisms between types; these morphisms are not used in…

Let $\Sigma$ be a small category and $\mathcal{A}$ be a $\Sigma$-co-complete (resp. $\Sigma$-complete) abelian category. It is a well-known fact that the category $\operatorname{Fun}(\Sigma,\mathcal{A})$ of functors of $\Sigma$ in…

We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different…

Let $\Sigma$ be a compact connected oriented surface with one boundary component and let $\mathcal{M}$ denote the mapping class group of $\Sigma$. By considering the action of $\mathcal{M}$ on the fundamental group of $\Sigma$ it is…

Lagrangian cobordisms are three-dimensional compact oriented cobordisms between once-punctured surfaces, subject to some homological conditions. We extend the Le-Murakami-Ohtsuki invariant of homology three-spheres to a functor from the…

We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf…

The Levine-Tristram signature associates to each oriented link $L$ in $S^3$ a function $\sigma_L \colon S^1 \to \mathbb{Z}.$ This invariant can be defined in a variety of ways, and its numerous applications include the study of unlinking…

For functors $L:\A\to \B$ and $R:\B\to \A$ between any categories $\A$ and $\B$, a {\em pairing} is defined by maps, natural in $A\in \A$ and $B\in \B$, $$\xymatrix{\Mor_\B (L(A),B) \ar@<0.5ex>[r]^{\alpha} & \Mor_\A…

In this paper, we deal with the part of Fractal Theory related to finite families of (weak) contractions, called iterated function systems (IFS, herein). An attractor is a compact set which remains invariant for such a family. Thus, we…