A finite-limit-preserving functor preserves a terminal object and pullbacks, equivalently all finite limits. It is also called left exact. Such functors from a Cartesian syntactic category to a finite-limit category correspond to models of the associated Cartesian theory.

A left Kan extension is left adjoint to precomposition, when it exists; a Right Kan extension is right adjoint. For small indexing categories and set-valued functors, both exist by comma-category colimit and limit formulas. These two adjoints give the essential geometric morphism induced by a functor between presheaf indexing categories.

A covariant functor into a Grothendieck topos is flat when its tensor extension from presheaves preserves finite limits. For set values, its category of elements with arrows carrying source elements to target elements is cofiltered; equivalently the functor is a filtered colimit of covariant representables. If the indexing category has finite limits, flatness is equivalent to preservation of finite limits. For a site, cover-to-joint-epimorphism continuity adds the condition needed by the Diaconescu equivalence for geometric morphisms.

A distributional weak solution of ${\partial }_{t}f+v\cdot {\nabla }_{x}f=g$, with locally integrable $f,g$, becomes ${\partial }_{t}F=G$ after the shear $F(t,x,v)=f(t,x+tv,v)$. For almost every characteristic label, there is an absolutely continuous function representing $F$, and its increments are the integrals of $G$ for every pair of times. Arbitrary modifications on time slices can destroy this every-time identity without changing the distributional solution.

For the free transport equation, substitute $y=x-tv$ into $\int |f_0(x-tv,v)|dv$. The resulting factor $|t{|}^{-d}$ and the bound by ${\sup }_v|f_0(y,v)|$ prove this mixed Lebesgue norm estimate. The right side contains initial data. The same-time mixed norm is not a conserved replacement: prescribing a product $\psi (x)\chi (v)$ at a later time and dilating $\chi$ disproves such a claim.

Elements of a module are linearly independent if every finite linear relation between them has all coefficients zero. An independent finite set freely generates its span, a finite free module. Over an integral domain, maximal independence within a finite generating set enables clearing denominators relative to an independent module subset.

Order the linearly independent subsets of a vector space by inclusion. A chain's union is independent, since every finite relation is contained in one chain member. Zorn's lemma gives a maximal independent subset. A vector outside its span could be adjoined while preserving independence, so it spans. Sending finite-support coefficient families to their linear combinations gives an isomorphism from the free module on that subset to $V$. This supplies an arbitrary, possibly infinite-dimensional basis using the axiom of choice; no pre-existing basis theorem is invoked.

For a Fredholm operator $L$ on a Hilbert space, invert its restriction from the kernel complement to its closed range, extending by zero on the range complement. The resulting bounded $B$ has $BL=I-P$ and $LB=I-Q$ with finite-rank projections. Adding a compact operator $K$ gives two-sided inverses modulo compact errors. Such a parametrix forces finite kernel, a lower bound on the kernel complement, closed range and finite adjoint kernel; the latter is the cokernel. Repeating with $-K$ proves the equivalence without assuming self-adjointness.

For zero initial displacement and unit delta initial velocity, the spatial Fourier transform of the wave equation gives the displayed multiplier. A compact cutoff function around zero frequency produces an ordinary smooth function after inversion. The remaining sine splits into two oscillatory integrals with phases $x\cdot \xi \pm ct|\xi |$ and symbols proportional to $(1-\chi )/|\xi |$ of order $-1$. Their stationary directions lie on $|x|=c|t|$, proving a light-cone bound for singular support. This does not claim vanishing of smooth tails inside the cone.

An extension estimate is a norm bound for the Fourier extension operator, uniform over its input. The exponents encode the curvature and scale of the frequency surface. For normalized circle measure, a cap of angular width $\delta$ produces size comparable to $\delta$ on a rectangle of dimensions ${\delta }^{-2}\times {\delta }^{-1}$. This single-cap example forces $p\ge 4$ for a finite diagonal estimate with the same exponent $p$ on both sides.

For normalized circle measure and a nonnegative cutoff near $(1,0)$, equal to one on $|\theta |\le \delta /C$ and supported on $|\theta |\le 2\delta /C$, remove the constant phase $e^{-i{\xi }_1}$. On $|{\xi }_1|\le {\delta }^{-2}$, $|{\xi }_2|\le {\delta }^{-1}$, the remaining phase has magnitude at most $2/C^2+2/C$. Taking $C$ sufficiently large keeps its real part positive and comparable to one, so the Fourier transform has magnitude at least a constant times the cap mass, which is at least $\delta /(\pi C)$. No upper bound on the cutoff is required for this lower bound.

For a semi-infinite plane-parallel atmosphere with polynomial source function $S(\tau )=\sum a_j{\tau }^j$, the outward specific intensity is ${\int }_0^{\infty }S(\tau )e^{-\tau /\mu }d\tau /\mu$. Substitution $u=\tau /\mu$ gives coefficients $A_j=j!a_j$ in the surface polynomial in $\mu$. The deep boundary term must vanish. A local truncated Taylor series instead gives this contribution plus a remainder, so its surface polynomial is not automatically exact.

Along a radial ray through a layer with constant source function, the incident specific intensity is attenuated by $e^{-\tau }$ and the layer adds $S(1-e^{-\tau })$. At small optical depth, $I_{\mathrm{out}}=I_{\mathrm{in}}+(S-I_{\mathrm{in}})\tau +O({\tau }^2)$. Whether the source exceeds the incident specific intensity determines the first-order emission or absorption contrast.

The cross-sectional area of a narrow flux tube, measured normal to its magnetic field. Constancy of the magnetic flux gives $A|\mathbf{B}|=\mathrm{constant}$ along the tube. This area controls the mass transport when flow follows the field.

This lattice condition on configuration masses is the hypothesis of the FKG inequality. A product measure on a finite Boolean lattice satisfies it with equality, since in each coordinate the minimum and maximum retain the original two coordinate values. It implies positive association of random variables for increasing functions.

For independent two-by-two tables with counts $a_i,b_i,c_i,d_i$ and total $n_i$, the Mantel–Haenszel pooled odds ratio is the displayed ratio of sums. When all $b_i{c}_i>0$, it is also the weighted arithmetic mean of study odds ratios with weights $b_i{c}_i/n_i$. These differ from inverse estimated variance weights for log odds ratios. Both constructions can represent a fixed-effect meta-analysis, but they should not be silently interchanged when interpreting a supplied plot.

For a Sobolev space function, almost every line parallel to a coordinate axis gives an absolutely continuous restriction. An absolutely continuous function has derivative zero almost everywhere on each of its level sets. Slicing and Fubini's theorem give the assertion in higher dimension. If $w\in W^{2,p}$, apply it to $w$ and then to each component of its gradient to get $D^{2}w=0$ almost everywhere on $\{w=0\}$. This supplies the contact differentiation used in noncontact of ROF level boundaries.

Let a finitely generated module over an integral domain have a finite generating set $S$ and a maximal independent subset $T$. For each $s\notin T$, dependence of $T\cup \{s\}$ gives a nonzero coefficient $a_s$ with $a_{s}s\in ⟨T⟩$. The product of those coefficients is nonzero and carries the whole module into $⟨T⟩$.

For an MA(1) process, the recursion ${\lambda }_t=\theta /(1+{\theta }^2-\theta {\lambda }_{t-1})$ has candidate limits $\theta$ and $1/\theta$. The limit in $[-1,1]$ is $\theta$ when $|\theta |\le 1$ and $1/\theta$ otherwise. The limiting innovation variance is ${\sigma }^2\max (1,{\theta }^2)$, expressing the same covariance law through an invertible reciprocal representation.

The nontrivial center of a finite p-group theorem implies that the center of a group of order $p^2$ has order $p$ or $p^2$. If it has order $p$, the quotient by the center has prime order and is cyclic; a cyclic quotient by the center forces the whole group to be abelian, contradicting the assumed size of its center. Thus the group is abelian. An element of order $p^2$ makes it cyclic. Otherwise choose $a\ne 1$ and $b\notin ⟨a⟩$; their order-$p$ cyclic subgroups intersect trivially and generate the direct product of groups $C_p\times C_p$. The two possibilities are nonisomorphic because only the cyclic one has an element of order $p^2$.