Fact-checked by Grok 2 weeks ago

Embedding

In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup. When some object ''X'' is said to be embedded in another object ''Y'', the embedding is given by some injective and structure-preserving map ''f'': ''X'' → ''Y''. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which ''X'' and ''Y'' are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map ''f'': ''X'' → ''Y'' is an embedding is often indicated by the use of a "hooked arrow" (↪); thus: ''f'': ''X'' ↪ ''Y''. Given ''X'' and ''Y'', several different embeddings of ''X'' in ''Y'' may be possible. In many cases of interest, there is a standard (or "canonical") embedding, such as those of the natural numbers in the integers, the integers in the rational numbers, the rational numbers in the real numbers, and the real numbers in the complex numbers. In such cases, it is common to identify the domain ''X'' with its image ''f''(''X'') contained in ''Y'', so that ''X'' ⊆ ''Y''. This article surveys embeddings across various mathematical fields, including topology, geometry, algebra, ordered structures, metric spaces, and category theory.

Topological Embeddings

Definition in General Topology

In general topology, a topological embedding is a continuous injective map f: X \to Y between topological spaces X and Y such that f(X), equipped with the subspace topology induced from Y, is homeomorphic to X via f.^[1] This equivalence holds because the inverse map f^{-1}: f(X) \to X is continuous with respect to the subspace topology on f(X).^[1] The definition ensures that f(X) behaves topologically like X within Y, preserving open sets and continuity properties without requiring surjectivity onto Y.^[1] The concept of topological embeddings emerged in the early 20th century as part of the foundational development of point-set topology, formalized by mathematicians such as Felix Hausdorff to investigate homeomorphic copies of spaces embedded as subspaces in larger ambient spaces.^[2] This framework allows for the study of intrinsic topological properties independent of the surrounding space, provided the embedding condition is satisfied.^[2] Classic examples illustrate the notion clearly. The inclusion map i: S^1 \to \mathbb{R}^2, where S^1 = \{ (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 = 1 \} is the unit circle, is a topological embedding because i is continuous and injective, and i(S^1) with the subspace topology is homeomorphic to S^1.^[3] Likewise, the inclusion j: [0,1] \to \mathbb{R} embeds the closed interval as a compact subspace homeomorphic to itself.^[3] To verify an embedding, one checks that f is a homeomorphism onto its image by confirming both continuity of f and the openness of preimages under f^{-1} relative to the subspace topology.^[1] The definition presupposes basic knowledge of topological spaces—sets equipped with collections of open sets satisfying the topology axioms—along with the notions of continuous maps, which preserve preimages of open sets, and homeomorphisms, which are continuous bijections with continuous inverses.^[1]

Properties and Classification

Topological embeddings preserve the local topological structure of the source space, meaning that for every point in the domain, there exists a neighborhood that maps homeomorphically onto its image under the embedding.^[4] A key property is properness: a proper embedding is one where the map is proper, i.e., the preimage of every compact subset of the target is compact in the domain; this ensures that the embedding behaves well at infinity and often results in a closed image when the domain is compact.^[5] Embeddings are classified up to topological equivalence, where two embeddings f: X \to Y and g: X \to Y are equivalent if there exists a homeomorphism h: Y \to Y such that h \circ f = g; this captures ambient isotopy in the target space. They can also be distinguished as dense embeddings, where the image is dense in the target, or closed embeddings, where the image is a closed subset of the target; for instance, dense embeddings arise when the source is countable and dense like the rationals in the reals, while closed embeddings preserve compactness properties.^[6] A fundamental theorem characterizing embeddings in Euclidean spaces is Brouwer's invariance of domain theorem, which states that if U is an open subset of \mathbb{R}^n and f: U \to \mathbb{R}^n is a continuous injective map, then f(U) is open in \mathbb{R}^n and f is a homeomorphism onto its image, hence an embedding.^[7] An illustrative example of non-equivalent embeddings is the knotted versus unknotted embeddings of the circle S^1 into \mathbb{R}^3: the trefoil knot is a non-trivial embedding not equivalent under ambient homeomorphisms to the standard unknotted circle, as their complements have distinct fundamental groups.^[8] Not all continuous injections qualify as embeddings; for example, the map f: [0, 2\pi) \to \mathbb{R}^2 defined by f(\theta) = (\cos \theta, \sin \theta) is continuous and injective, but it fails to be a homeomorphism onto its image because sequences approaching $2\pi from below converge to f(0) in the subspace topology, yet their preimages do not converge in the domain, so the inverse map is not continuous.

Embeddings into Euclidean Space

Embeddings of topological spaces into Euclidean spaces provide a concrete realization of abstract structures within a familiar framework, enabling the application of analytic and geometric tools. A fundamental result in this area is the Whitney embedding theorem, which asserts that any n-dimensional topological manifold admits a topological embedding into \mathbb{R}^{2n}.^[9] This theorem highlights the sufficiency of twice the manifold's dimension for such embeddings, preserving the local Euclidean structure while avoiding self-intersections. For smooth manifolds, a stronger version guarantees a smooth embedding, but the topological case establishes the basic existence without differentiability assumptions. In dimension theory, embeddings into Euclidean spaces must respect the topological dimension of the space, which is preserved under homeomorphisms; thus, an n-dimensional space cannot embed into \mathbb{R}^k for k < n. The Menger–Nöbeling theorem extends this to compact metric spaces, stating that every compact metric space of covering dimension at most n can be embedded into \mathbb{R}^{2n+1}.^[10] This result applies directly to compact n-manifolds, confirming their embeddability in \mathbb{R}^{2n+1}, and demonstrates that the codimension of at least n+1 is generally necessary for general spaces. The theorem's bound is sharp, as there exist n-dimensional compacta requiring the full 2n+1 dimensions. A notable specific result concerns separable metric spaces: every separable metric space, including every countable metric space, can be homeomorphically embedded as a subset of the Hilbert cube [0,1]^\mathbb{N}, which itself embeds into \ell^2, the infinite-dimensional Hilbert space.^[11] This universal property allows infinite-dimensional or non-compact spaces to be realized within a compact Euclidean-like product space, facilitating the study of their topological properties through infinite coordinates. These embedding theorems have significant applications in realizing abstract topological spaces concretely in \mathbb{R}^k, where coordinate representations simplify computations of invariants like homology or fundamental groups. However, not all spaces embed below the theoretical bounds; counterexamples include certain fractal-like structures or simplicial complexes exceeding dimension constraints. For instance, the complete bipartite graph K_{3,3}, a 1-dimensional complex, cannot be embedded into \mathbb{R}^2 without self-intersections, illustrating the necessity of higher dimensions for some n=1 spaces.^[12] In higher dimensions, analogous constructions like van Kampen-Flores complexes serve as counterexamples, requiring up to \mathbb{R}^{2n+1} for embedding.

Geometric Embeddings

Smooth Embeddings in Differential Topology

In differential topology, a smooth embedding of an n-dimensional smooth manifold M into a smooth manifold N is defined as a smooth map f: M \to N that is both an immersion and a topological embedding. An immersion requires that the differential df_p: T_p M \to T_{f(p)} N is injective for every p \in M, meaning the Jacobian matrix has full rank n at each point. This ensures that f preserves the local differential structure without local folding, while the topological embedding condition guarantees that f is a homeomorphism onto its image, preventing global self-intersections. A cornerstone result is Whitney's strong embedding theorem, which asserts that every smooth n-dimensional manifold admits a smooth embedding into Euclidean space \mathbb{R}^{2n}. Complementing this, Whitney also established that any such manifold can be smoothly immersed into \mathbb{R}^{2n-1}, though immersions may allow self-intersections. These theorems provide a concrete realization of abstract smooth manifolds in familiar Euclidean space, facilitating the study of their properties through coordinate-based analysis. The transversality theorem, developed by Thom, further refines the study of smooth embeddings by showing that, in the space of smooth maps from M to N, those transverse to a given submanifold form an open dense subset. Transversality means that for submanifolds S \subset M and T \subset N, the map f satisfies df(T_p M + f^{-1}(T_q)) = T_{f(p)} N at intersection points, ensuring generic embeddings intersect submanifolds in a controlled, non-degenerate manner. This result underpins many approximation techniques in differential topology, allowing perturbations to achieve desired intersection properties. Local properties of smooth embeddings highlight their regularity near points. The Darboux theorem for contact structures states that every contact manifold is locally equivalent to the standard contact structure on \mathbb{R}^{2n+1} given by \alpha = dz - \sum_{i=1}^n y_i dx_i, where the contact form \alpha satisfies \alpha \wedge (d\alpha)^n \neq 0. Additionally, embeddings can be locally flattened: around any point, there exists a coordinate chart where the embedded submanifold appears as a standard linear subspace, achieved via the exponential map of the normal bundle, which straightens the embedding into a product neighborhood. A representative example is the smooth embedding of the 2-dimensional torus T^2 into \mathbb{R}^3, realized as the surface of revolution generated by rotating a circle in the xz-plane around the z-axis, yielding a self-intersection-free hypersurface that preserves the smooth structure and topology of T^2.

Embeddings in Riemannian Geometry

In Riemannian geometry, an embedding between two Riemannian manifolds (M, g) and (N, h) is called isometric if it is a smooth embedding f: M \to N such that the pullback of the metric h under f coincides with g, i.e., f^* h = g. This condition ensures that lengths, angles, and other metric quantities are preserved, making f an isometry onto its image. Such embeddings extend the notion of smooth embeddings by imposing a compatibility requirement with the Riemannian metrics, allowing abstract metric structures to be realized concretely in ambient spaces.^[13] The seminal result characterizing the existence of such embeddings is the Nash embedding theorem, which affirms that every Riemannian manifold admits an isometric embedding into some Euclidean space. In 1954, John Nash proved the C^1 isometric embedding theorem (later extended by Kuiper), stating that every Riemannian n-manifold admits a C^1 isometric embedding into \mathbb{R}^{2n+1}.^[14] This was extended in 1956 to smooth embeddings: for any compact smooth Riemannian n-manifold of class C^k with k \geq 3, there exists a C^k isometric embedding into \mathbb{R}^{n(3n+11)/2}.^[15] The dimension n(3n+11)/2 arises from the degrees of freedom in the metric tensor, which has n(n+1)/2 independent components, combined with additional dimensions needed for the embedding construction via iterative solving of partial differential equations. A non-compact version embeds into the higher dimension \frac{n(n+1)(3n+11)}{2}.^[13] These theorems have profound applications in realizing abstract Riemannian metrics as submanifolds of Euclidean space, enabling the use of extrinsic tools like second fundamental forms and mean curvature to study intrinsic properties such as curvature and geodesics. They also imply rigidity results; for instance, certain embeddings are unique up to isometries of the ambient space, as seen in the solution to the Weyl embedding problem for metrics on the sphere. Classic examples include the standard round n-sphere (S^n, g_{\text{round}}), which isometrically embeds into \mathbb{R}^{n+1} as the unit sphere, preserving its constant sectional curvature. The hyperbolic plane (\mathbb{H}^2, g_{\text{hyp}}) of constant negative curvature -1, while not embeddable in \mathbb{R}^3, admits an isometric immersion into \mathbb{R}^5 (and embedding into \mathbb{R}^6), though Nash's theorem provides an embedding into \mathbb{R}^{17}, though explicit constructions often require higher dimensions for smoothness.^[15] Recent generalizations post-2000 have extended Nash's framework to infinite-dimensional Riemannian manifolds, such as those arising in gauge theory or infinite-dimensional Lie groups, by embedding into Hilbert spaces while preserving the weak Riemannian metrics; for example, results using the Nash-Moser inverse function theorem allow isometric immersions of Hilbert manifolds into separable Hilbert spaces. These developments address historical limitations for non-compact and infinite cases, facilitating applications in partial differential equations and geometric analysis.^[16]

Pseudo-Riemannian and Hypersurface Embeddings

A pseudo-Riemannian embedding is an isometric immersion of a pseudo-Riemannian manifold (M, g) into a higher-dimensional pseudo-Riemannian manifold (N, h), such that the induced metric on the image of M coincides with g, preserving the indefinite metric tensor of signature (p, q) where p + q = \dim M and the metric is non-degenerate but not positive-definite.^[17] This generalizes Riemannian embeddings to indefinite metrics, allowing for applications where the geometry admits both spacelike and timelike directions, as in Lorentzian spacetimes of signature (n-1, 1). Key theorems establish conditions for such embeddings, particularly into flat spaces. For flat Lorentzian spaces, the Minkowski embedding theorem guarantees that any globally hyperbolic Lorentzian manifold admits a smooth isometric embedding into a sufficiently high-dimensional Lorentz-Minkowski space L^N, where N \geq N_0(n) + 1 and N_0(n) is the minimal dimension from the Riemannian case, provided the manifold is stably causal and admits a steep temporal function with g(\nabla \tau, \nabla \tau) \leq -1.^[18] The hypersurface embedding theorem in Lorentzian geometry ensures the existence of spacelike or causally embedded hypersurfaces with prescribed mean curvature in globally hyperbolic manifolds, constructed via curvature flows over compact Cauchy hypersurfaces, yielding solutions as graphs with a priori estimates for convergence to stationary hypersurfaces.^[19] In physics, pseudo-Riemannian embeddings are crucial for realizing spacetimes in higher-dimensional flat spaces, facilitating analysis of general relativity solutions. For instance, Friedmann–Lemaître–Robertson–Walker (FLRW) metrics, describing homogeneous and isotropic cosmologies, can be locally isometrically embedded into pseudo-Euclidean spaces of appropriate signature, with explicit constructions reducing the problem to solving algebraic constraints on embedding functions; for the flat FLRW case, embeddings into 5-dimensional Minkowski space provide a geometric visualization of expansion.^[20] Such embeddings aid in studying cosmological dynamics by extrinsic means, contrasting with intrinsic coordinate descriptions. Representative examples include light cones as null hypersurfaces, which embed as boundaries in Minkowski space where the metric degenerates, forming ruled surfaces generated by null geodesics with zero expansion for outgoing null normals, essential for causal structure in relativity. Black hole horizons, such as event horizons, embed as non-expanding null hypersurfaces where the outgoing null expansion \Theta(\ell) = 0, defining marginally trapped surfaces in the 3+1 decomposition, with apparent horizons serving as local proxies for dynamical evolution.^[21] Modern extensions address incompleteness in analytic embeddings by incorporating numerical methods for general relativity solutions. In the 2020s, explicit constructions via optimization algorithms enable isometric embeddings of pseudo-Riemannian manifolds, solving the embedding equations numerically for smooth metrics in dimensions up to 14, with applications to local embeddings of GR spacetimes in Ricci-flat spaces.^[22] These approaches, building on hyperbolic systems from Regge-Teitelboim formulations, allow simulations of non-analytic data while preserving metric signatures.^[17]

Algebraic Embeddings

Embeddings in Field Theory

In field theory, an embedding of a field K into another field L over a base field F (such as \mathbb{Q}) is defined as an injective field homomorphism \sigma: K \to L that fixes F pointwise, meaning \sigma(f) = f for all f \in F.^[23] Such embeddings preserve the field operations of addition and multiplication, and because the kernel of a nonzero ring homomorphism between fields must be trivial, they are inherently injective.^[24] Field embeddings exhibit several key properties. They preserve the characteristic of the field, as the characteristic is determined by the smallest positive integer n such that n \cdot 1 = 0, and homomorphisms map the multiplicative identity to itself while preserving addition.^[23] Additionally, embeddings preserve the transcendence degree over the base field, since the image \sigma(K) is isomorphic to K as an F-algebra, and transcendence degree is invariant under field isomorphisms.^[23] Embeddings into algebraic closures play a central role; for any field K, there exists an embedding of K into an algebraic closure \overline{K}, which is unique up to isomorphism over K.^[25] A foundational result is Steinitz's theorem, which states that every field K admits an algebraic closure \overline{K}, an algebraically closed field extension that is algebraic over K, and any two such closures are isomorphic over K.^[23] This theorem, proved in 1910, guarantees the existence of embeddings into algebraically closed fields of the same characteristic.^[25] In characteristic zero, for instance, the algebraic closure of \mathbb{Q} embeds \mathbb{Q} and contains all algebraic numbers. Examples illustrate these concepts clearly. The inclusion map provides an embedding of \mathbb{Q}(\sqrt{2}) into \mathbb{R}, where \sqrt{2} maps to its real value and the minimal polynomial X^2 - 2 has a root in \mathbb{R}.^[23] Complex conjugation \sigma: \mathbb{C} \to \mathbb{C} defined by \sigma(a + bi) = a - bi is an embedding (in fact, an automorphism) of \mathbb{C} into itself over \mathbb{R}, fixing \mathbb{R} and preserving the field structure.^[23] Embeddings are intimately connected to Galois theory, particularly for algebraic extensions. For a simple algebraic extension K = F(\alpha) with minimal polynomial f(X) \in F[X], the F-embeddings of K into an algebraic closure \overline{F} are in one-to-one correspondence with the roots of f(X) in \overline{F}, where each embedding sends \alpha to a distinct root.^[23] This correspondence underpins the Galois group structure, as the embeddings fixing F permute the roots of separable polynomials, linking field automorphisms to the solvability of equations.^[23]

Embeddings in Universal Algebra

In universal algebra, an embedding is defined as an injective homomorphism between two algebras of the same type, meaning it preserves all operations and maps distinct elements to distinct elements.^[26] This notion generalizes the concept of inclusion while ensuring structural fidelity, and it is fundamental for constructing and decomposing algebras within varieties. A key property is that embeddings allow for the representation of any algebra as a subdirect product of simpler structures, where a subdirect embedding into a product \prod_{i \in I} B_i satisfies the condition that the projection \pi_i \circ h is surjective for each i.^[26] Birkhoff's variety theorem characterizes varieties of algebras as precisely the classes closed under homomorphic images (H), subalgebras (S), and arbitrary products (P), with embeddings playing a central role in the subalgebra closure.^[27] In particular, every non-trivial algebra admits a subdirect embedding into a product of its subdirectly irreducible quotients, providing a canonical decomposition that highlights the building blocks of varieties.^[26] Congruence-distributive varieties, where the lattice of congruences on any algebra is distributive, exhibit enhanced embedding properties; for instance, such varieties are generated by their subdirectly irreducible members in a manner that facilitates explicit embeddings via Jónsson's theorem, ensuring that finitely generated subdirectly irreducible algebras suffice for HSP generation.^[26] Examples abound in specific algebraic structures. In group theory, an embedding is simply an injective group homomorphism, preserving the group operation and allowing groups to be realized as subgroups of larger groups, such as free groups in the variety of groups.^[27] Similarly, in lattice theory, embeddings are injective lattice homomorphisms that preserve meets and joins, enabling lattices to be embedded into free lattices or products thereof within the variety of lattices, which is congruence-distributive.^[26] A fundamental theorem states that every algebra embeds into an ultrapower of itself via the diagonal embedding, which maps each element a to the equivalence class of the constant function i \mapsto a modulo the ultrafilter; this preserves all operations and injectivity holds by construction.^[26] Field embeddings, as injective homomorphisms preserving addition and multiplication, represent a special case within the variety of fields.^[27] Embedding results extend to non-associative algebras, particularly quasigroups. The variety of quasigroups is universal, meaning every variety of algebras with a binary operation can be embedded into it via a suitable reinterpretation of operations, as shown in work by A. F. Pixley from 1974.^[28]^[27]

Embeddings in Model Theory

In model theory, an embedding between structures is typically an injective homomorphism that preserves the relations and functions of the language, while an elementary embedding is a stronger notion that additionally preserves and reflects all first-order formulas, meaning that for any formula φ with parameters from the domain, the structure satisfies φ if and only if the image does.^[29] These embeddings extend the structural embeddings from universal algebra by incorporating logical preservation, ensuring that the embedded structure captures the same first-order properties.^[30] Skolem functions play a crucial role in constructing and preserving embeddings, as they provide witnesses for existential quantifiers in formulas, allowing the expansion of a structure to include functions that realize these quantifiers without altering the elementary embedding properties.^[31] A key construction involves ultrapowers, where an ultrapower of a structure via a non-principal ultrafilter yields an elementary embedding into the ultrapower, justified by Łoś's theorem, which states that a first-order formula holds in the ultrapower if and only if it holds in the original structure on a set in the ultrafilter. This theorem, originally proved in 1955, enables the creation of non-standard models through such embeddings. One prominent application is in non-standard analysis, where elementary embeddings map the standard real numbers into the hyperreals, a non-archimedean extension constructed via ultrapowers, allowing the transfer of first-order statements between the standard and non-standard universes to rigorize infinitesimal calculus.^[32] In stable theories, which bound the complexity of types and formulas, models admit rich embeddings, such as prime models embedding elementarily into larger saturated models, facilitating the classification of structures up to isomorphism in many cases.^[33] Embeddings in continuous logic, developed in the 2000s for metric structures, extend these ideas to handle bounded metric spaces and continuous predicates, where elementary embeddings preserve continuous formulas up to uniform continuity bounds, enabling model-theoretic analysis of structures like Banach spaces and probability spaces.^[34]

Embeddings in Ordered Structures

Order Embeddings

In order theory, an order embedding between partially ordered sets (posets) P and Q is a function f: P \to Q that is strictly order-preserving and order-reflecting, meaning x \leq y in P if and only if f(x) \leq f(y) in Q.^[35] This equivalence ensures that f is injective and induces an order isomorphism between P and its image f(P) under the subspace order from Q.^[35] Order embeddings preserve key structural properties of posets, including the height (the length of the longest chain) and width (the size of the largest antichain).^[35] Since chains in P map bijectively to chains in f(P) and antichains to antichains, the height of P equals that of f(P), and the width follows similarly. Applications of Dilworth's theorem, which equates the width of a finite poset to the minimum number of chains needed to cover it, are preserved under such embeddings, as the chain decomposition in P corresponds directly to one in the image.^[36] For Dedekind-complete posets—those where every non-empty subset bounded above has a least upper bound—order embeddings into larger Dedekind-complete structures maintain the existence of suprema in the image.^[37] A fundamental theorem states that every poset embeds as an order embedding into a complete lattice, specifically its Dedekind–MacNeille completion, which is the smallest complete lattice containing the poset as a dense sublattice. This completion, constructed via cuts (sets closed upward and downward in a certain sense), ensures all existing joins and meets are preserved, and the embedding is both sup-continuous and inf-continuous.^[35] Representative examples include the inclusion map from the natural numbers (\mathbb{N}, \leq) to the rationals (\mathbb{Q}, \leq), which is an order embedding since the order is preserved and reflected strictly.^[35] Another is the embedding of a poset P into its power set \mathcal{P}(P) via principal order ideals, where each x \in P maps to \downarrow x = \{y \in P \mid y \leq x\}; this satisfies \downarrow x \subseteq \downarrow y if and only if x \leq y, yielding an order embedding into the distributive lattice of down-sets ordered by inclusion.^[38] In distributive lattices, order embeddings induce lattice homomorphisms on the image, preserving finite joins and meets as the structure is reflected isomorphically.^[37]

Embeddings in Domain Theory

In domain theory, a directed-complete partial order (dcpo) is a partially ordered set in which every directed subset has a least upper bound, and domains are typically dcpos equipped with additional structure such as a least element to model computational approximations. An embedding between dcpos is a Scott-continuous order embedding, meaning it is an injective, order-preserving function that reflects the order (i.e., x \leq y if and only if f(x) \leq f(y)) and preserves the suprema of all directed sets.^[39] This specializes the notion of order embeddings by imposing topological continuity with respect to the Scott topology on dcpos, where open sets are upper sets inaccessible by directed suprema.^[39] Such embeddings exhibit key properties essential for denotational semantics. By Scott-continuity, they preserve directed suprema, ensuring that the image of a directed set in the codomain has the same supremum as the original. In algebraic domains—those where every element is the supremum of compact elements below it—embeddings additionally reflect the order of approximation and preserve the compact elements, maintaining the finite-information structure critical for computability.^[39] These properties facilitate the construction of embedding-projection pairs (e, p), where p \circ e = \mathrm{id}_D and e \circ p \leq \mathrm{id}_E, allowing domains to be retracted while preserving their computational content.^[39] A foundational result is that every continuous domain embeds into an injective domain via the Smyth completion, a construction that yields an algebraic domain into which the original embeds as a retract through a continuous embedding-projection pair.^[39] This embedding ensures the domain becomes "injective" in the category of algebraic domains with respect to certain bilimits, enabling solutions to recursive domain equations.^[39] In applications to programming languages, embeddings allow types to be modeled by injecting them into powerdomains, such as the Plotkin, Hoare, or Smyth powerdomains, which extend dcpos to capture nondeterministic choice and concurrency in denotational semantics.^[39] For instance, the Plotkin powerdomain freely adjoins suprema and infima to model demonic nondeterminism, with embeddings preserving the observational order of programs.^[39] Examples include embedding finite domains—discrete dcpos with finitely many elements—into the ideals (principal down-sets closed under suprema) of larger algebraic domains, which realizes them as compact-embedded substructures.^[39] Another is Scott's D_\infty model, a universal domain constructed as the bilimit of an \omega-chain of embedding-projection pairs starting from the flat domain of natural numbers, into which every domain in certain cartesian closed categories embeds continuously.^[39]

Embeddings in Metric Spaces

Isometric Embeddings

An isometric embedding between two metric spaces (X, d_X) and (Y, d_Y) is a function f: X \to Y such that d_Y(f(x), f(y)) = d_X(x, y) for all x, y \in X.^[40] This distance-preserving property ensures that the embedding is injective, as distinct points in X map to distinct points in Y, and continuous, since it is 1-Lipschitz.^[40] Moreover, isometric embeddings preserve the lengths of paths and geodesics: if \gamma: [a, b] \to X is a geodesic in X, then f \circ \gamma is a geodesic in Y.^[41] A fundamental result in this area is the Nash–Kuiper theorem, which addresses isometric embeddings of Riemannian manifolds. It states that any C^\infty Riemannian n-manifold admits a C^1 isometric embedding into Euclidean space \mathbb{R}^{\frac{n(n+1)(3n+11)}{2}}, relaxing the smoothness requirement compared to higher-order embeddings.^[15] This theorem, originally proved by Nash for compact manifolds and extended by Kuiper to non-compact cases, highlights the flexibility in achieving near-isometric embeddings under weaker regularity conditions. (Note: Kuiper reference; actual URL for Kuiper paper not directly available, but cited via secondary.) Key examples illustrate the scope of isometric embeddings. The hyperbolic plane \mathbb{H}^2 admits an isometric embedding into 3-dimensional Minkowski space \mathbb{R}^{2,1} via the hyperboloid model, where points satisfy x_0^2 + x_1^2 - x_2^2 = -1 with x_2 > 0, preserving the hyperbolic metric.^[42] Another universal construction is the Kuratowski embedding, which isometrically embeds any metric space (X, d) into the Banach space \ell^\infty(X) of bounded real functions on X with the supremum norm, defined by f(x)(y) = d(x, y) - d(x_0, y) for a fixed basepoint x_0 \in X.^[43] While complete isometric embeddings into Hilbert space are not always possible—for instance, certain tree metrics require distortion—not every metric space embeds isometrically into a Hilbert space. However, Bourgain's seminal 1985 result shows that any finite metric space with n points can be embedded into a Hilbert space with distortion at most O(\log n), providing a bounded relaxation that has influenced subsequent algorithmic and geometric applications. Recent refinements in the 2020s, such as improved bounds for low-dimensional or doubling metrics, have further optimized distortion for specific classes while building on this foundation.^[44]

Embeddings in Normed Spaces

In normed vector spaces, a linear embedding is defined as a bounded linear operator T: X \to Y between normed spaces that is injective, where X and Y are equipped with norms \|\cdot\|_X and \|\cdot\|_Y. Such an embedding preserves the linear structure, and it is called isometric if it additionally satisfies \|Tx\|_Y = \|x\|_X for all x \in X, thereby preserving distances induced by the norms.^[45] This notion extends the concept of isometric embeddings from metric spaces to the linear setting, focusing on vector space operations.^[46] Key properties of linear embeddings in Banach spaces, which are complete normed spaces, include the use of the Hahn-Banach theorem for extensions. Specifically, the Hahn-Banach extension theorem allows bounded linear functionals defined on a subspace to be extended to the entire space while preserving the norm, facilitating the construction and extension of isometric embeddings under suitable conditions.^[47] Additionally, reflexivity—a property where the natural embedding into the bidual is surjective—preserves embeddability: if a Banach space X admits an isometric embedding into a reflexive space Y, then X itself is reflexive, as the property is intrinsic and invariant under isometries.^[48] A fundamental theorem in this area is the Banach-Mazur theorem, which states that every separable Banach space admits an isometric embedding into the space C[0,1] of continuous functions on [0,1] with the supremum norm. This result, established in the 1930s, underscores the universality of C[0,1] for separable spaces and relies on Hahn-Banach extensions to construct the embedding via a dense sequence of functions.^[45] Representative examples include the sequence spaces \ell^p for $1 \leq p < q \leq \infty, where the natural inclusion map provides a continuous linear embedding from \ell^p into \ell^q, as sequences in \ell^p belong to \ell^q with a bounded norm change. However, this inclusion is generally not isometric unless p = q. In contrast, all infinite-dimensional separable Hilbert spaces are isometrically isomorphic to \ell^2, highlighting the unique universality within the class of Hilbert spaces.^[49] Applications of these embeddings appear prominently in operator theory, where isometric embeddings help characterize bounded operators and their spectra between Banach spaces. A high-impact result is Dvoretzky's theorem, which asserts that every infinite-dimensional Banach space contains infinite-dimensional subspaces that are almost Euclidean, meaning they admit linear embeddings into Hilbert space with distortion approaching 1 as the dimension grows; this has profound implications for the local structure of Banach spaces.^[50]

Embeddings in Category Theory

Monomorphisms and Embeddings

In category theory, a monomorphism (often abbreviated as mono) is defined as a morphism f: A \to B that is left-cancellative, meaning that for any pair of morphisms g, h: C \to A, if f \circ g = f \circ h, then g = h.^[51] This property generalizes the notion of an injective function from the category of sets \mathbf{Set}, where monomorphisms coincide precisely with injections, which are embeddings of sets.^[51] In concrete categories—those equipped with a faithful forgetful functor to \mathbf{Set}—monomorphisms typically correspond to structure-preserving injections that embed the domain as a subobject, preserving the underlying set-theoretic injection.^[51] In more abstract categories without such a forgetful functor, the notion remains purely relational via cancellation, without reference to underlying sets. A key subclass consists of regular monomorphisms, which are monomorphisms that can be expressed as the equalizer of some pair of parallel arrows p, q: B \to D. Regular monomorphisms behave like embeddings onto their image and are stable under pullback in categories with pullbacks. For instance, in the category \mathbf{[Top](/page/Top)} of topological spaces and continuous maps, monomorphisms are the injective continuous functions, but regular monomorphisms are exactly the topological embeddings—continuous injections that are homeomorphisms onto their image with the subspace topology.^[52] Pullbacks in categories with finite limits preserve monomorphisms, ensuring that the pullback of a mono along any morphism remains a mono.^[51] Moreover, right adjoint functors preserve monomorphisms, as they preserve all limits, including equalizers.^[51] Examples abound in familiar categories. In the category \mathbf{Poset} of partially ordered sets and order-preserving maps, monomorphisms are the strictly monotone injections, known as order embeddings, which preserve the order strictly (i.e., f(x) \leq f(y) if and only if x \leq y).^[53] Inclusions of subposets thus serve as prototypical monomorphisms. Coreflective subcategories provide another context: a full subcategory \mathcal{D} \hookrightarrow \mathcal{C} is coreflective if the inclusion has a right adjoint (the coreflector), and in many cases, this inclusion is a monomorphism, embedding \mathcal{D} faithfully into \mathcal{C}. Algebraic embeddings, as concrete realizations in varieties of algebras, align with this by corresponding to injective homomorphisms that are monomorphisms in the category of algebras.^[51] In higher category theory, particularly in (\infty,1)-categories as developed post-2010, monomorphisms generalize similarly: a morphism is a monomorphism if it is left-cancellative up to homotopy, meaning that any two parallel (\infty,1)-functors factoring through it that agree on the domain agree up to homotopy. In \infty-topoi, every morphism factors as an effective epimorphism followed by a monomorphism through its essential image, mirroring classical image factorization theorems. This framework, formalized in works like Lurie's Higher Topos Theory, extends embeddings to homotopical settings where subobjects are represented by monomorphisms stable under homotopy pullbacks.^[54]

Full and Faithful Embeddings

In category theory, a functor F: \mathcal{C} \to \mathcal{D} is faithful if, for every pair of objects A, B in \mathcal{C}, the induced map F: \mathcal{C}(A, B) \to \mathcal{D}(FA, FB) on hom-sets is injective.^[55] It is full if this map is surjective.^[55] A functor that is both full and faithful is called fully faithful, meaning the map on each hom-set is bijective.^[55] Such a functor is an embedding if it is injective on objects, preserving the structure of \mathcal{C} rigidly within \mathcal{D}.^[56] Fully faithful functors reflect isomorphisms: if F(f) is an isomorphism in \mathcal{D}, then f is an isomorphism in \mathcal{C}.^[56] They also reflect limits and colimits when the functor is the inclusion of a full subcategory.^[56] An embedding of a full subcategory can generate a dense subcategory of \mathcal{D}, where every object in \mathcal{D} is a colimit of the diagram of objects from the image of the embedding, allowing the subcategory to " densely approximate" the ambient category.^[57] A key theorem states that if the inclusion of a full subcategory \mathcal{C} \hookrightarrow \mathcal{D} is fully faithful and admits a left adjoint, then \mathcal{C} is a reflective subcategory of \mathcal{D}, with the left adjoint providing the reflection functor that preserves limits in \mathcal{C}.^[58] The Gabriel–Ulmer duality theorem establishes an embedding of any small category \mathcal{C} with finite limits into a locally finitely presentable category, via the functor category of finite-limit-preserving functors from \mathcal{C} to Set, realizing \mathcal{C} as the category of finitely presentable objects in its free colimit completion. A classic example is the forgetful functor U: \mathbf{Grp} \to \mathbf{Set} from groups to sets, which is faithful since distinct group homomorphisms induce distinct set functions, but not full because not every set function between underlying sets arises from a group homomorphism.^[58] In contrast, the category of abelian groups Ab is equivalent to the category of ℤ-modules ℤ-Mod via the canonical functor, which is fully faithful (and essentially surjective), as abelian group homomorphisms coincide exactly with ℤ-module homomorphisms.^[59] Fully faithful embeddings find applications in realizing small categories within larger ones for model-theoretic purposes, such as embedding regular categories fully and exactly into functor categories to study coherence and exactness in logical theories, as in Barr's theorem on full exact embeddings.^[60] This facilitates the transfer of model-theoretic properties, like definability and compactness, between categories.^[60]

References

[1]
What are Embeddings in Machine Learning? - Amazon AWS
Embeddings are numerical representations of real-world objects that machine learning (ML) and artificial intelligence (AI) systems use to understand complex ...What are embeddings in... · Why are embeddings important? · What are vectors in...
[2]
Embeddings | Machine Learning - Google for Developers
Aug 25, 2025 · Embeddings offer a solution by providing dense vector representations that capture semantic relationships and reduce the dimensionality of data ...
[3]
What is Embedding? | IBM
Embedding is a means of representing text and other objects as points in a continuous vector space that are semantically meaningful to machine learning ...Overview · How embedding works
[4]
[PDF] Efficient Estimation of Word Representations in Vector Space - arXiv
Sep 7, 2013 · We propose two novel model architectures for computing continuous vector repre- sentations of words from very large data sets.
[5]
[PDF] arXiv:1810.04805v2 [cs.CL] 24 May 2019
May 24, 2019 · We introduce a new language representa- tion model called BERT, which stands for. Bidirectional Encoder Representations from. Transformers.
[6]
What are embeddings in machine learning? - Cloudflare
Embeddings are vectors that represent real-world objects, like words, images, or videos, in a form that machine learning models can easily process.
[7]
[PDF] GeneralTopologyWillard.pdf - Rexresearch1.com
This book is designed to develop the fundamental concepts of general topology which are the basic tools of working mathematicians in a variety of fields.
[8]
A history of Topology - MacTutor - University of St Andrews
A few years later in 1914 Hausdorff defined neighbourhoods by four axioms so again there were no metric considerations. This work of Riesz and Hausdorff ...<|control11|><|separator|>
[9]
[PDF] Introduction to Topology - Cornell Math Department
Oct 7, 2010 · Definition 3.23. A map f : X → Y is a topological embedding if f is injective and f : X → f(X) is a homeomorphism where f(X) has the ...
[10]
embedding of topological spaces in nLab
Feb 2, 2021 · An embedding of topological spaces is a continuous function which is a homeomorphism onto its image.
[11]
[PDF] embedding and immersion theorems - UChicago Math
A function f : Mk → Rm is an embedding if it is both an injective immersion and proper. We define a proper function to be a function for which the preimage of ...
[12]
topology.dense_embedding - mathlib3 docs - Lean community
A dense embedding is an embedding with dense image. If the domain of a dense_embedding is a separable space, then so is its codomain. The product of two dense ...
[13]
Brouwer's fixed point and invariance of domain theorems, and ...
Jun 13, 2011 · The invariance of domain theorem is usually proven using the machinery of singular homology. In this post I would like to record a short proof of Theorem 2 ...Missing: original | Show results with:original
[14]
Embedding and knotting of manifolds in Euclidean spaces - arXiv
Apr 3, 2006 · More specifically, we present several classical and modern results on the embedding and knotting of manifolds in Euclidean space. We state many ...
[15]
Embedding vs continuous injection? - Math Stack Exchange
Jun 23, 2020 · Here an embedding is a map that is a homeomorphism onto its image. Would it be correct to replace the word "embedding" by continuous injection?Does there exist a continuous injection $f:X \to Y$ that is not an ...Embedding vs continuous injection (in topological vector spaces)More results from math.stackexchange.comMissing: rationals | Show results with:rationals
[16]
[PDF] The Whitney embedding theorem - DiVA portal
It is the embedding theorem due to Hassler Whitney, which shows that the ever so general and useful topological spaces called manifolds, can all be regarded as ...
[17]
[PDF] Proceedings Nineteenth Annual Workshop in Geometric Topology
We re- call that the classical Nobeling-Pontryagin embedding theorem states that every compactum X of dimension dimX ≤ n can be embedded in R2n+1. It is easy to ...
[18]
[PDF] Embedding Theorem - Oregon State University
having a countable basis. Embedding Theorem: Every separable metric space is homeomorphic to a subspace of the Hilbert Cube. ≡ I ω. ≡ [0,1] ω. (In fact ...
[19]
Imbeddings of $n$-dimensional topological manifolds in $(2n + 1)
Jun 26, 2013 · Munkres proves that every compact metric space of covering dimension n can be embedded into R2n+1. He also proves that any compact n-manifold ...Does every topological $n$-manifold ($n>0$) admit an embedding ...Any n-toplogical manifold can be embedded into R(n+1)2.More results from math.stackexchange.com
[20]
Notes on the Nash embedding theorem - Terry Tao
May 11, 2016 · We now begin the proof of the Nash embedding theorem. In this section we make a series of reductions that reduce the “global” problem of ...
[21]
C<sup>1</sup> Isometric Imbeddings - jstor
Vol. 60, No. 3, Nnvember, 1954. Printed in U.S.A.. C' ISOMETRIC IMBEDDINGS. BY JOHN NASH.
[22]
[PDF] The Imbedding Problem for Riemannian Manifolds - John Nash
Oct 6, 1999 · At the end of Part C the treatment of compact manifolds is complete and we state Theorem 2, which is essentially this: Every compact Riemannian.
[23]
[PDF] Notes on the Isometric Embedding Problem and the Nash-Moser ...
Whitney ([50]–[52]) proved that any compact manifold of dimension n can be embedded (without requiring isometry) into R2n, and immersed into R2n−1. The general ...
[24]
[PDF] arXiv:1311.6203v3 [gr-qc] 24 May 2014
May 24, 2014 · The isometric embedding of a riemannian or pseudo-riemannian manifold into an ambient flat space is a mathematical subject much explored ...<|separator|>
[25]
[PDF] Lorentzian manifolds isometrically embeddable in LN
The main aim of the present article is to prove that any globally hyperbolic space- time M can be smoothly isometrically embedded in Lorentz-Minkowski LN , for ...
[26]
[PDF] hypersurfaces of prescribed mean curvature in lorentzian manifolds
Introduction. Hypersurfaces of prescribed mean curvature especially those with con- stant mean curvature play an important role in general relativity.
[27]
[PDF] arXiv:1702.00987v2 [gr-qc] 2 Apr 2017
Apr 2, 2017 · Our initial purpose of revisiting FLRW embedding further was to offer a simple geometric picture in which these embeddings can be seen as ...
[28]
None
### Summary: Black Hole Horizons as Null Hypersurfaces
[29]
Explicit isometric embeddings of pseudo-Riemannian manifolds
Apr 13, 2020 · We study the problem of construction of explicit isometric embeddings of (pseudo)-Riemannian manifolds. We discuss the method which is based in ...Missing: numerical | Show results with:numerical
[30]
[PDF] Fields and Galois Theory - James Milne
The splitting field of the minimal polynomial of 𝛼 has degree at most 𝑑!, and a set with 𝑑! elements has at most 2. 𝑑! subsets. [Of course, this bound is.
[31]
[PDF] SEPARABILITY 1. Introduction Let K be a field. We are going to look ...
Let K and L be fields. If σ: K → L is a field embedding, then a polynomial f(X) ∈ K[X] is separable if and only ...
[32]
[PDF] Zorn's lemma and some applications, II - Keith Conrad
That every field has an algebraic closure and that two algebraic closures of a field are isomorphic were first proved by Steinitz in 1910 in a long paper [11] ...
[33]
[PDF] Tutorial on Universal Algebras
Jul 26, 2009 · An embedding is an injective homomorphism. An embedding h : A ֒→ Qi∈I Bi is subdirect if πi [h[A]] = Bi for all i ∈ I. A is a subdirect ...
[34]
[PDF] A Course in Universal Algebra
We introduce the notion of classifying a variety by properties of (the lattices of) congruences on members of the variety. Also, the center of an algebra is ...
[35]
elementary embedding in nLab
Nov 24, 2020 · In model theory, an elementary embedding between structures (over a given signature σ \sigma ) is an injection that preserves and reflects all of first-order ...
[36]
[PDF] Elementary Model Theory - University of South Carolina
Roughly speaking, model theory is that branch of mathematics that ex- ploits the connections between such a syntax and the appropriate mathematical systems.Missing: textbook | Show results with:textbook
[37]
Skolem functions and elementary embeddings
Mar 12, 2014 · A Skolem function for φ on is an n-ary operation f on such that for all . If is an elementary substructure of , then an n-ary operation f on is ...
[38]
Hyperreal number - Wikipedia
The transfer principle for ultrapowers is a consequence of Łoś's theorem of 1955. ... Hyper-real fields were in fact originally introduced by Hewitt (1948) by ...
[39]
Non-standard Analysis: Robinson, Abraham - Amazon.com
This book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject.Missing: embeddings | Show results with:embeddings
[40]
[PDF] Decompositions of saturated models of stable theories - UMD MATH
We assume that we are working in a large, saturated structure C and that our language admits elimination of quantifiers, so the notions of submodel and elemen-.
[41]
Embed finite field in algebraic closed field
Jan 18, 2015 · Let Ω be an algebraic closed field of characteristic p, then for any field F of q (=pa) elements, F can be embedded in Ω. I need above property ...Algebraic Closure of Finite Field $\mathbb{F}_pFinitely many embeddings of a finite extension in an algebraic closureMore results from math.stackexchange.comMissing: elementary | Show results with:elementary
[42]
[PDF] Model theory for metric structures
The continuous logic for metric structures that is presented here provides an equivalent background for this ultraproduct. Page 5. Model theory for metric ...
[43]
[PDF] Notes on Ordered Sets - UC Berkeley math
Feb 27, 2012 · not the interval, hE] = {X ∈ P(S) | X ⊆ E}, in partially ordered set P(S), ⊆). ... orem 3.1, the order embedding of (S, ) into Z (S) ...
[44]
[PDF] A NOTE ON DILWORTH'S EMBEDDING THEOREM - William T. Trotter
ABSTRACT. The dimension of a poset X is the smallest positive inte- ger t for which there exists an embedding of X in the cartesian product of t chains.Missing: height | Show results with:height
[45]
[PDF] Lattice Theory Lecture 5 Completions - nmsu math
Since it is join and meet dense, the MacNeille completion preserves existing joins and meets. The ideal completion is join dense so preserves existing meets, ...
[46]
[PDF] On lattices and their ideal lattices, and posets ... - UC Berkeley math
In a poset P, the principal downsets (which we can now also call the principal ideals) form a poset isomorphic to P. If P has ascending chain condition, we see ...
[47]
[PDF] Domain Theory
The first one is simply the order-theoretic definition and the proof that we stay within dcpo's and Scott-continuous functions. The second one is the ...
[48]
[PDF] AN INTRODUCTION TO QUASI-ISOMETRY AND HYPERBOLIC ...
So, every isometric embedding is injective. Furthermore, every isometric embedding is Lipschitz continuous. Thus, if f : X → Y is an isometric embedding, then ...<|control11|><|separator|>
[49]
[PDF] isometric embeddings of teichm¨uller spaces are covering ...
A map f : M → N is called an isometric embedding if it is distance-preserving for the Teichmüller metrics dM and dN , i.e., dM (x, y) = dN (f(x),f(y)) for all ...
[50]
[PDF] Isometric Embedding of Negatively Curved Disks in the Minkowski ...
The hyperbolic plane H2 has a canonical isometric embedding in the Minkowski space R2,1 given by the hyperboloid. (1.1) x3 = p. 1 + |x0|2, x0 ∈ R2. It seems ...<|control11|><|separator|>
[51]
Sur les espaces complets - EuDML
Kuratowski, Casimir. "Sur les espaces complets." Fundamenta Mathematicae 15.1 (1930): 301-309. <http://eudml.org/doc/212357>.
[52]
Metric Embedding via Shortest Path Decompositions - SIAM.org
We introduce a new embedding technique based on low-depth decompositions of a graph via shortest paths. The notion of shortest path decomposition (SPD) depth is ...
[53]
[PDF] Methods in Banach Space Theory - Nigel Kalton Memorial
The classical Banach-Mazur theorem states that every separable Banach space embeds into C[0, 1] isometrically. The. Page 7. I. EXTENSION PROBLEMS FOR C(K)- ...
[54]
[PDF] Basic Properties of Metric and Normed Spaces - TTIC
A Banach space is a complete normed space. Remark 1.6. Every finite dimensional normed space is a Banach space. However, an in- finite dimensional normed space ...
[55]
hahn-banach operators - American Mathematical Society
Feb 22, 2001 · Definition. An operator T : X → Y between Banach spaces X and Y is called a Hahn-Banach operator if for every isometric embedding of the space.
[56]
[PDF] Functional Analysis II, Math 7321 Lecture Notes from February 02 ...
Feb 2, 2017 · Finally, one shows τ preserves the norm. ... Finally, it can be shown that reflexivity is inherited by closed subspaces of Banach space.
[57]
[PDF] Banach Spaces
Lq. pXq Ľ L p. pXq. 2. Show that for little ℓ's the reverse inclusion holds: if 1 ď q ă p ď 8 then ℓq. Ĺ ℓ p. 3. In Problem 1. show that inclusion I : Lp. pXq Ñ ...
[58]
[PDF] MIT Open Access Articles Almost-Euclidean Subspaces of #1N via ...
Jul 2, 2010 · For general normed spaces, the following is one possible statement of the well- known Dvoretzky's theorem [Dvo61]:. Given m ∈ N and ε > 0 ...
[59]
monomorphism in nLab
May 23, 2025 · The notion of monomorphism is the generalization of the notion of injective map of sets from the category Set to arbitrary categories.
[60]
embedding in nLab
May 6, 2025 · A morphism U → X of topological spaces is a regular monomorphism precisely if this is an injection such that the topology on U is the induced ...Idea · As regular or effective... · Definition · Examples
[61]
[PDF] Categorical Properties of Regular Monomorphisms of S-posets
In the present paper, considering M to be the class of regular monomorphisms (order-embeddings) in the category S-Pos of S-posets with action-preserving.
[62]
[PDF] Higher topos theory / Jacob Lurie
Let X be a nice topological space (for example, a CW complex). One goal of algebraic topology is to study the topology of X by means of algebraic.
[63]
[PDF] Basic Concepts in category theory
For a locally small category C there is a full and faithful functor Y : Cop → [C, Set] (the. Yoneda embedding) sending A ∈ ob C to C(A, −). To explain ...
[64]
full and faithful functor in nLab
Jun 9, 2025 · Definition. A full and faithful functor is a functor which is both full and faithful. That is, a functor F : C → D F\colon C \to D from a ...Definition · Properties · Generalizations
[65]
dense subcategory in nLab
May 31, 2022 · A dense subcategory 'sees' enough of the ambient category to control the behavior and properties of the latter.
[66]
[PDF] Saunders Mac Lane - Categories for the Working Mathematician
This book aims to present those ideas and methods that can now be effectively used by mathematicians working in a variety of other fields of mathematical ...
[67]
[PDF] ON FULL EMBEDDINGS I M. MAKKAI* Introduction We give a fairly ...
We give a fairly short model-theoretic proof of Barr's theorem on full exact embeddings of regular categories into functor categories.