Related papers: Lallement functor is a weak right multiadjoint

Objects $T$ whose exponential functor $(-)^T$ admits a right adjoint $(-)_T$ are known under different names. The fact that they exist, yet that the only set that satisfies this in the category of sets is the singleton made Lawvere suggest…

The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty}$-coalgebra $\mathbf{C}_*(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally…

This note has several aims. Firstly, it portrays a non-standard analysis as a functor, namely a functor * that maps any set A to the set *A of its non-standard elements. That functor, from the category of sets to itself, is postulated to be…

We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…

For a (right and left) coherent ring $A$, we show that there exists a duality between homotopy categories ${\mathbb{K}}^{{\rm{b}}}({\rm mod}{\mbox{-}}A^{{\rm op}})$ and ${\mathbb{K}}^{{\rm{b}}}({\rm mod}{\mbox{-}}A)$. If $A=\Lambda$ is an…

In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of…

The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A} $ with lax descent objects, the forgetful morphisms…

We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak…

We construct recursion categories from categories of coalgebras. Let $F$ be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the category $\textbf{Set}_F$ of $F$-coalgebras is complete. The…

To a Legendrian knot, one can associate an $\mathcal{A}_{\infty}$ category, the augmentation category. An exact Lagrangian cobordism between two Legendrian knots gives a functor of the augmentation categories of the two knots. We study the…

We prove that the forgetful functor from the category of Boolean inverse semigroups to inverse semigroups with zero has a left adjoint. This left adjoint is what we term the `Booleanization'. We establish the exact connection between the…

We consider on one hand the possibility that a supersymmetric ${\cal N}=1$ conformal gauge theory has a strongly coupled locus on the conformal manifold at which a different, dual, conformal gauge theory becomes a good weakly coupled…

Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to…

We investigate the limits of the multivariable signature function $\sigma_L$ of a $\mu$-component link $L$ as some variable tends to $1$ via two different approaches: a three-dimensional and a four-dimensional one. The first uses the…

We explain why on certain five-manifolds, topological 5d $\mathcal{N} = 2$ gauge theory of Haydys-Witten twist with gauge group $G$, is dual to that of Geyer-M\"{u}lsch twist with gauge group $^LG$, where $G$ is a real, compact Lie group…

Let $K$ be an algebraically closed field with characteristic zero, and $\mathfrak{g}$ a Lie algebra. Let $Y(\mathfrak{g})$ be the subalgebra of the symmetric algebra $S(\mathfrak{g})=K[\mathfrak{g}^*]$ made of the polynomials which are…

We study the bicategory of Landau-Ginzburg models, which has potentials as objects and matrix factorisations as 1-morphisms. Our main result is the existence of adjoints in this bicategory and a description of evaluation and coevaluation…

It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists…

A version of the tangential LS category is introduced for topological laminations with a transverse invariant measure. Here, we use the transverse measure of the contraction of a tangential categorical open set instead of counting this set.…

Consider a reflection from a finitely-complete category $\mathbb{C}$ into its full subcategory $\mathbb{M}$, with unit $\eta :1_\mathbb{C}\rightarrow HI$. Suppose there is a left-exact functor $U$ into the category of sets, such that $UH$…