Myt1 is a protein kinase distinct from Wee1. The cloned Xenopus laevis Myt1 phosphorylated Cdc2 at both inhibitory sites Thr14 and Tyr15; depletion experiments implicated it as the predominant Thr14-directed activity in Xenopus laevis egg extracts.^[ref]

A CDK-activating kinase is a protein kinase supplying activating phosphorylation to a cyclin-dependent kinase 1 preparation. The Xenopus laevis experiment above distinguished this activity from the catalytic activity of Cdc2 itself. CAK names that function here, without asserting that every species uses the same protein assembly.

Write $F(x)={\int }_0^1(1+x{)}^t(1-x{)}^{1-t}dt=x/\mathrm{arctanh}x$. Pairing $t$ and $1-t$ after differentiating twice givesThe power series of $(1-x^2{)}^{-3/2}$ has strictly positive even coefficients, and the other factor has nonnegative even coefficients. Thus every even coefficient of $F^{\prime \prime }$ is negative. Since $F$ is even with $F(0)=1$, the displayed sign pattern follows. This supplies a short positivity argument for the first Dahlquist barrier.

For a weak horizontal forcing proportional to $e^{imz}$ in an ideal uniformly stratified nonrotating fluid, the low-frequency hydrostatic approximation gives the displayed one-dimensional wave equation for the streamfunction amplitude. Two oppositely propagating characteristic integrals determine the response. A source confined to $|x|\le a$ and switched on at time zero produces no response beyond $|x|\le ct+a$ in this reduced equation. The bound on mixed forcing derivative $|f_{xt}|\ll |mN{f}_{\max }|$ controls the neglected vertical acceleration in characteristic magnitude.

In four dimensions a single commuting Majorana spinor is specified by a two-component complex spinor $\xi$. Its future Dirac current is proportional to $({\xi }^{†}\xi ,{\xi }^{†}\mathbf{\sigma }\xi )$, and the Pauli matrix multiplication law implies $|{\xi }^{†}\mathbf{\sigma }\xi {|}^2=({\xi }^{†}\xi {)}^2$. Thus it is null. A Dirac spinor or a sum of independent Majorana currents can be timelike. This distinction matters when applying a timelike-current classification to minimal real supersymmetry.

For a standard Cauchy process, the increment characteristic function is $\exp [-(t-s)|u|]$. Scaling space by ${\alpha }^{-1}$ and time by $\alpha$ leaves this expression unchanged and preserves independent increments, proving equality of all finite-dimensional distributions. Equivalently, $\alpha X_{t/\alpha }$ has the original process law. Scaling both space and time by $\alpha$ instead changes the exponent by ${\alpha }^2$ and is not an invariance unless $\alpha =1$.

A complete Cauchy hypersurface in Minkowski spacetime, such as $t=0$, has full domain of dependence and empty Cauchy horizons. This does not forbid horizons for a non-Cauchy initial surface in the same spacetime. The smooth edgeless spacelike hyperboloid $t=\sqrt{a^2+r^2}$, $a>0$, has domain of dependence $t>r$ and a past Cauchy horizon on the future light cone of the origin. Every causal curve starting inside that cone crosses the hyperboloid in the direction needed for dependence: $t^2-r^2$ passes through $a^2$, while a null generator of the cone never meets it. The time-reversed hyperboloid gives the analogous future horizon.

A collection of arrows is a two-sided ideal when arbitrary precomposition and postcomposition preserve it. If a finite category has split idempotent morphisms, every ideal $I$ satisfying $I^2=I$ is generated by identities belonging to $I$. Factor an arrow $f\in I$ repeatedly as a longer product of arrows of $I$. Two prefixes coincide, since there are only finitely many arrows. The intervening endomorphism $t\in I$ fixes that prefix; an idempotent power $e$ of $t$ still fixes it. Write $e=ir$, $ri=1_B$. Then $1_B=rei\in I$, and $f$ factors through $B$. Applied to the least covering sieves of a finite site, this proves rigid coverage.

In a regular category, a relation $R\hookrightarrow A\times B$ is total if its projection to $A$ is a regular epimorphism, and single-valued if two pairs with the same first component have the same second component. The latter makes that projection a monomorphism. A regular epimorphism that is monic is invertible, so $f={\pi }_B{\pi }_A^{-1}$ has graph exactly $R$. No axiom of choice or set-based element selection is used.

The category of relations on sets has sets as objects and binary relations as morphisms. Relational composition declares $aRc$ when some intermediate $b$ satisfies both component relations; the identity is the diagonal relation.

For a set-valued covariant functor on a small category, the Yoneda lemma sends the element $x\in F(c)$ to the transformation $\mathcal{C}(c,-)\to F$. These transformations form a cocone indexed by the opposite category of elements. At $a$, send the representative $(c,x,u:c\to a)$ to $F(u)x$. It is surjective using $(a,z,1_a)$; two representatives of $z$ are identified through that same object of the category of elements. This proves the displayed presentation pointwise.

The ordinary generating function $C(x)={\sum }_{n\ge 0}{C}_n{x}^n$ packages the Catalan recurrence. Its Cauchy product gives the formal power series identityThe constant term is $C_0=1$. Solving the quadratic equation chooseswith the formal power series square root having constant term one. The apparent quotient at $x=0$ has constant term one after cancellation; the other quadratic solution has a pole and cannot be this ordinary generating function. The equation records the empty object or an outer unit with two ordered smaller objects.

A Cartesian second-rank tensor invariant under all rotations about an oriented unit axis $n$ has the displayed form. A half-turn about the axis eliminates the mixed axial-transverse entries, and a quarter-turn makes the transverse block a scalar matrix plus an antisymmetric planar rotation generator. Conversely both transverse terms commute with every rotation about the axis. The antisymmetric term is allowed unless symmetry or an additional axis-reversing rotation is imposed. This differs from an axially invariant second-rank tensor for an unoriented axis.

For a constant orthogonal Cartesian coordinate change $x^{\prime }=Rx$, a Cartesian second-rank tensor obeys $T_{ij}^{\prime }=R_{ik}{R}_{jl}{T}_{kl}$. The chain rule gives ${\partial }_j^{\prime }=R_{jm}{\partial }_m$. Consequently ${\partial }_j^{\prime }{T}_{ij}^{\prime }=R_{ik}{R}_{jl}{R}_{jm}{\partial }_m{T}_{kl}=R_{ik}{\partial }_l{T}_{kl}$, the transformation rule for a vector. Under non-Cartesian position-dependent coordinate changes, partial derivatives must be replaced by the appropriate covariant derivative.

Every three-dimensional Cartesian second-rank tensor splits into scalar, symmetric-traceless, and antisymmetric parts. Their coefficients are $P=P_{kk}/3$, $S_{ij}=(P_{ij}+P_{ji})/2-P{\delta }_{ij}$, and $A_k={ϵ}_{kij}{P}_{ij}/2$. The epsilon contraction identity reconstructs the antisymmetric part and proves uniqueness. Under proper rotations $A$ behaves as a vector, but under reflections it is an axial vector.

A Cartesian second-rank tensor in three dimensions invariant under quarter-turn rotations about all three coordinate axes is a scalar multiple of the identity matrix. Squaring the quarter-turns gives coordinate half-turns; invariance under these forces every off-diagonal component to vanish. The quarter-turns then equate the three diagonal components. This conclusion does not require the original tensor to be symmetric.

An object isomorphic to its own exponential supplies mutually inverse folding and unfolding maps. Evaluation defines application, and folding after currying defines abstraction. The exponential universal property gives the beta rule, while the full isomorphism gives eta conversion. A mere retraction of the function object generally suffices for beta but not automatically eta.

A monoid encoding a one-object product and exponential structure: pairing is inverse to the map $z\mapsto (\pi z,{\pi }^{\prime }z)$, and currying is inverse to $y\mapsto \epsilon ⟨y\pi ,{\pi }^{\prime }⟩$. These bijections imply pairing naturality $⟨x,y⟩z=⟨xz,yz⟩$ and currying naturality $(x⟨z\pi ,{\pi }^{\prime }⟩{)}^{\ast }=x^{\ast }z$. The element $e=({\pi }^{\prime }{)}^{\ast }$ then satisfies $ez=e$ for every $z$, hence is idempotent. Splitting $e$ supplies a terminal object and a two-object Cartesian closed category whose endomorphisms at the original object are $M$. For the original object to be nonterminal, $M$ must be nontrivial.

A category with finite limits is locally Cartesian closed when every slice category is a Cartesian closed category. Covariant set-valued functor categories on small categories have this property, using the equivalence between their slices and functor categories on categories of elements.

Write $D{e}_i={\sum }_j{\theta }_{ij}\otimes e_j$, with the differentiated input index first. The graded Leibniz rule gives $D^2{e}_i={\sum }_j(d{\theta }_{ij}-{\sum }_k{\theta }_{ik}\wedge {\theta }_{kj})\otimes e_j$. For frames $e^{\prime }=ge$, the connection matrix transforms as ${\theta }^{\prime }=dg{g}^{-1}+g\theta g^{-1}$ and curvature by ${\Theta }^{\prime }=g\Theta g^{-1}$. Transposing to the usual coefficient-column convention gives $A={\theta }^t$ and $F=dA+A\wedge A={\Theta }^t$; the opposite sign is an index convention, not a different curvature.