Related papers: Local fibered right adjoints are polynomial

We show that every canonically fibered link in $S^3$ is the binding of a braided open book in $S^3$, addressing a question of Montesinos and Morton. We introduce mutual arc presentations as our main technical tool, which we consider to be…

In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian…

Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars…

We prove that every filtered fiber functor on the category of dualizable representations of a smooth affine group scheme with enough dualizable representations comes from a graded fiber functor.

There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to…

We give new proofs that the Mandelbrot set is locally connected at every Misiurewicz point and at every point on the boundary of a hyperbolic component. The idea is to show ``shrinking of puzzle pieces'' without using specific puzzles.…

We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the…

We give a combinatorial construction of an ordered semiring A, and show that it can be identified with a certain subquotient of the semiring of p-local Bousfield classes, containing almost all of the classes that have previously been named…

It has been proved several times in the literature that a polynomial map from $C^2$ to $C$ with irreducible rational fibers cannot be a component of a counterexample to the Jacobian Conjecture. This note points out that this result is…

We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a…

Let $X/\mathbb{F}_{q}$ be a smooth, geometrically connected, quasiprojective variety. Let $\mathcal{E}$ be a semisimple overconvergent $F$-isocrystal on $X$. Suppose that irreducible summands $\mathcal{E}_i$ of $\mathcal E$ have rank 2,…

An $(s,t)$-matching in a bipartite graph $G=(U,V,E)$ is a subset of the edges $F$ such that each component of $G[F]$ is a tree with at most $t$ edges and each vertex in $U$ has $s$ neighbours in $G[H]$. We give sharp conditions for a…

In this article, we prove some factorization results for several classes of polynomials having integer coefficients, which in particular yield several classes of irreducible polynomials. Such classes of polynomials are devised by imposing…

It is known that the Alexander polynomial detects fibered knots and 3-manifolds that fiber over the circle. In this note, we show that when the Alexander polynomial becomes inconclusive, the notion of "knot adjacency", studied in the paper…

We take advantage of the correspondence between fibered links, open book decompositions and contact structures on a closed connected 3-dimensional manifold to determine a mixed link diagram presentation for a particular fibered link $L$ in…

This paper provides the technical tools needed in ongoing work of the authors to compute p-adic \'etale Abel-Jacobi maps in order to obtain explicit reciprocity laws for GSp4. In particular, we define and study syntomic polynomial…

An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen right adjoint that moreover preserves cartesian…

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied category theory as models of bidirectional processes. From the…

We prove a variant of Emerton's conjecture concerning the right derived functors of the ordinary parts functor $\operatorname{Ord}_P^G$. This functor plays an important role in the theory of mod $p$ representations of $p$-adic reductive…