## lambda calculus: What is the complement of evaluation morphism in a closed monodic category?

According to the nlab article on the evaluation map if $$X, Y in C$$, a closed monodic category and then the complement to the evaluation morphism $$(X, Y) otimes X rightarrow Y$$ is the morphism of identity $$(X, Y) right arrow (X, Y)$$.

Is it correct and if so, why?
Because it seems to me that the complement of such has to be $$X rightarrow (Y, (X otimes Y))$$

## calculus – What does "more natural codomain" mean?

They give me a function $$f (x, y) = (2y, frac {1} {x})$$. And they ask me: "What is the most natural codomain of $$f$$? "What does it mean that codamain is" more natural "? Is it the most natural codomain? $$ran (f) = (- infty, 0) cup (0, infty)$$ or $$mathbb R ^ 2$$?
Thank you!

## calculus – Differentiating from – something that is not present in the equation

$$MRS = frac {u_1} {u_2}$$

Differentiating from $$x_1$$:

the book shows that you get $$u_2 ((u_ {11} + u_ {12}) dx_2 / dx_1) – u_1 (u_ {21} + u_ {22} dx_2 / dx_1) / u_2 ^ 2$$

To give some context, this is the marginal rate of substitution in economics and we are making the second order condition.

## What is the complexity of the E-KRHyper test (E-hyper tableau calculus)?

Before the question, let me explain better what E-KRHyper is:

E-KRHyper is a system for generating models and proof of theorems for first-order logic with equality. It is an implementation of the E-hyper tableau calculation, which integrates an equality management based on the superposition in the hyper-tableau calculation (source: System description: E-KRHyper).

I am interested in the complexity of the E-KRHyper system because it is used in the Log-Answer question and answer system (LogAnswer: a question based on deduction
)

our calculation is a non-trivial decision procedure for this
fragment (with equality), which captures the complexity class NEXT (Source: Hyper Tableaux with Equality).

I don't understand much about complexity theory, so my question is:

What is the complexity of a theorem to be tested in terms of the number of axioms in the database and in terms of some parameter of the question to answer?

## Stochastic calculus – Distances between crosses up and down in Gaussian processes

Given a Gaussian process $$g: = mathcal {GP} left ( mu, Sigma right)$$,
where $$mu$$ is the average and $$Sigma$$ is the covariance function, I'm interested in estimating the average value $$L_m$$ Of the distances between up and down with a constant level. $$u$$, that is, these distances:

In this plot, I use $$u = 0$$, but ideally I would like $$u$$ be generic I suspect this is related to Rice's formula, which estimates the number of ascending crosses for a given Gaussian process and a given length domain, but I do not know how

## Variational calculus … Prove that a linear functional φ[h] can not have an end unless φ[h] ≡ 0

From the definitions in the variation calculation book – Gelfand and fomin
http://web.cs.iastate.edu/~cs577/handouts/variations.pdf

I try to prove that a linear functional. $$varphi[h]$$ can not have an end unless $$varphi[h] ≡ 0$$.

I tried the following
1- prove that $$varphi[h]$$ is differentiable and uses that theorem 2 page 13 in the book

2- I tried the use that a $$J[y]$$ has an end in $$t$$ Yes $$J[y] -J$$

Any help is good.

Thank you.

## The following is the mathematical derivation for Deep Learning. Could someone explain to me the differential calculus?

Thank you for contributing an answer to MathOverflow!

But avoid

• Make statements based on opinion; Support them with references or personal experience.

Use MathJax to format equations. MathJax reference.

## Stochastic calculus – integral Ito and true martingale.

Consider a function twice differentiable. $$F$$ in $$R$$ with bounded
first derivative $$F & # 39;$$ and a Brownian movement $$W$$. Show that $$F (W_t) – frac {1} {2} int_ {0} ^ {t} F & # 39; & # 39; (W_s) ds$$ It is a true martingale.

I tried to show it using this, but I just got confused and did not find any solution.

1. Yes $$M$$ it's a local martingale with continuous trajectories, so it's a real martingale and $$E (M_t ^ 2) < infty$$ for all $$t geq 0$$
OR

2. Yes $$M$$ it's a local martingale with continuous trajectories, so it's a real martingale and $$E ([M]_t) < infty$$ for all t.

## Multivariable calculus – How to get to the Jacobian formula in the change of variables

According to the variable change formula for the multivariate calculation,
$$d vec {v} = left | det (D varphi) ( vec {u}) right | d vec {u}$$
where $$vec {v} = varphi vec {u}$$ Y $$det (D varphi) ( vec {u})$$ It is the Jacobian matrix of the partial derivatives of $$varphi$$ on the point $$vec {u}$$.

How to get to this relationship (preferably conceptually)?

## textbooks of calculus, linear algebra and probability and statistics for nonmathematical careers

What are the most popular textbooks of calculus, linear algebra and probability and statistics for majors that are not mathematics in the United States?