Related papers: Solving Homotopy Domain Equations
One of the most challenging and frequently arising problems in many areas of science is to find solutions of a system of multivariate nonlinear equations. There are several numerical methods that can find many (or all if the system is small…
We introduce a constructive method that provides the local solution of general implicit systems in arbitrary dimension via Hamiltonian type equations. A variant of this approach constructs parametrizations of the manifold, extending the…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
The necessary and sufficient conditions for a perfect fluid solution to define a spatially-homogeneous cosmology are achieved. These conditions are Intrinsic, Deductive, Explicit and ALgorithmic, and they offer an IDEAL labeling of these…
We look at two examples of homotopy Lie algebras (also known as L_{\infty} algebras) in detail from two points of view. We will exhibit the algebraic point of view in which the generalized Jacobi expressions are verified by using degree…
Several integrability problems of differential equations are addressed by using the concept of $\mathcal{C}^{\infty}$-structure, a recent generalization of the notion of solvable structure. Specifically, the integration procedure associated…
In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can…
A framework is introduced which explains the existence and similarities of most exact solutions of the Einstein equations with a wide range of sources for the class of hypersurface-homogeneous spacetimes which admit a Hamiltonian…
Centre manifold theory is applied to some dynamical systems arising from spatially homogeneous cosmological models. Detailed information is obtained concerning the late-time behaviour of solutions of the Einstein equations of Bianchi type…
We consider the question of cocompleting partially presentable parametrized $\infty$-categories in the sense of arXiv:2307.11001. As our main result we show that in certain cases one may compute such relative cocompletions via a very…
By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…
This paper uses a net-theoretic approach to convergence spaces, aimed to simplify the description of continuous convergence in order to apply it in problems concerning Homotopy Theory. We present methods for handling homotopies of limit…
In this paper, we present a new distributional identity for the solutions of elliptic equations involving Hardy potentials with singularities located on the boundary of the domain. Then we use it to obtain the boundary isolated singular…
The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space…
Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we verify that this definition corresponds to…
We develop a class of homeomorphisms on a compact homogeneous space of a transitive group action and show how the class sheds new light on a decomposition problem. We further use this class to show that every such homogeneous space in a…
The Levi geometry at weakly pseudoconvex boundary points of domains in C^n, n \geq 3, is sufficiently complicated that there are no universal model domains with which to compare a general domain. Good models may be constructed by bumping…
We describe a homotopical version of the relational and gluing models of type theory, and generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy theory on inverse diagrams, and relies on the fact that Reedy…
The homotopy analysis method known from its successful applications to obtain quasi-analytical approximations of solutions of ordinary and partial differential equations is applied to stochastic differential equations with Gaussian…
The paper aims to show the equivalency between nonlinear complementarity problem and the system of nonlinear equations. We propose a homotopy method with vector parameter $\lambda$ in finding the solution of nonlinear complementarity…