Solving Homotopy Domain Equations

04/02/2021

∙

In order to get λ-models with a rich structure of ∞-groupoid, which we call "homotopy λ-models", a general technique is described for solving domain equations on any cartesian closed ∞-category (c.c.i.) with enough points. Finally, the technique is applied in a particular c.c.i., where some examples of homotopy λ-models are given.

READ FULL TEXT

Solving Homotopy Domain Equations

Solving polynomial equations and applications

Solving coupled Lane-Emden equations by Green's function and decomposition technique

Hyperbolic relaxation technique for solving the dispersive Serre Equations with topography

Solving Partial Differential Equations on Closed Surfaces with Planar Cartesian Grids

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

Control of bifurcation structures using shape optimization

The intrinsic Toeplitz structure and its applications in algebraic Riccati equations

Solving Homotopy Domain Equations

Related Research

Solving polynomial equations and applications

Solving coupled Lane-Emden equations by Green's function and decomposition technique

Hyperbolic relaxation technique for solving the dispersive Serre Equations with topography

Solving Partial Differential Equations on Closed Surfaces with Planar Cartesian Grids

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

Control of bifurcation structures using shape optimization

The intrinsic Toeplitz structure and its applications in algebraic Riccati equations