We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the underlying topos to be cocomplete. The resulting model category structure gives rise to a model of homotopy type theory with identity types, Σand Π-types, a...

Recently the authors have presented the d-transformation which has proved to be very efficient in accelerating the convergence of a large class of infinite series. In this work the d-transformation is modified in a way that suits power series. An economical method for computing the rational approximations arising from the modified transformation is developed. Some properties of these approximan...

Many important problems in the processing of Magnetic Resonance data can be reduced to well known ill-posed inverse problems. MR relaxometry, spectroscopy and MR image formation problems can be formulated respectively as the numerical inversion of Laplace transform, the modal analysis problem and the truncated trigonometric moment problem. A unified framework to efficiently solve these problems...

in this paper, elzaki homotopy perturbation method is employed for solving linear and nonlinear differential equations with a variable coffecient. this method is a combination of elzaki transform and homotopy perturbation method. the aim of using elzaki transform is to overcome the deficiencies that mainly caused by unsatised conditions in some semi-analytical methods such as homotopy perturbat...

Although homotopy-based methods, namely homotopy analysis method andhomotopy perturbation method, have largely been used to solve functionalequations, there are still serious questions on the convergence issue of thesemethods. Some authors have tried to prove convergence of these methods, butthe researchers in this article indicate that some of those discussions are faulty.Here, after criticizi...

A smooth, projective surface S is called a standard isotrivial fibration if there exists a finite group G which acts faithfully on two smooth projective curves C1 and C2, so that S is isomorphic to the minimal desingularization of T := (C1 × C2)/G, where G acts diagonally on the product. When the action of G is free, then S = T is called a quasi-bundle. In this paper we analyse several numerica...

We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. Also, we show that cofiltered limits in pro-categories commute with finite colimits.

Floer cohomology groups are usually defined over a field of formal functions (a Novikov field). Under certain assumptions, one can equip them with connections, which means operations of differentiation with respect to the Novikov variable. This allows one to write differential equations for Floer cohomology classes. Here, we apply that idea to symplectic cohomology groups associated to Lefschet...

(1.1) H = {(x, y) ∈ (C) × C : y1y2 + p(x) = z}, Here, p : (C) → C is the superpotential mirror to Y (following [7] or [9]), and z is any regular value of p. H is an affine threefold with trivial canonical bundle. Hence, it has a Fukaya category Fuk(H), whose objects are compact exact Lagrangian submanifolds equipped with gradings and Spin structures. This is an A∞-category over C. Consider the ...

We introduce a notion of cardinality for the augmentation category associated to a Legendrian knot or link in standard contact R3. This ‘homotopy cardinality’ is an invariant of the category and allows for a weighted count of augmentations, which we prove to be determined by the ruling polynomial of the link. We present an application to the augmentation category of doubly Lagrangian slice knots.