What embedding actually stores
Embedding means the font program itself — the software that defines each glyph’s outline — is written into the PDF as a stream. The font dictionary describing the typeface points at it through one of three entries, and which entry appears tells you the flavour of font data inside. /FontFile holds a Type1 program, /FontFile2 holds TrueType, and /FontFile3 holds a compact form, typically CFF, also known as Type1C. The reader loads that program and uses it to draw glyphs exactly as the author’s machine did.
Alongside the outlines, the dictionary records metrics: the advance width of each glyph, the font’s bounding box, ascent and descent, and flags describing whether it is serif, fixed-pitch, symbolic and so on. Those widths matter enormously and are easy to overlook — they are what the layout was computed from. A PDF stores where each run of text begins, and the widths determine how far along the line the following glyphs fall.
Font types in a PDF fall into a few families. Type1 is the legacy PostScript format, still found in older files. TrueType is the format most desktop fonts use. Type0 is a composite, or CID-keyed, font, and it exists to handle writing systems whose character repertoires exceed what a simple single-byte encoding can address — Chinese, Japanese and Korean above all. Separately, fourteen so-called standard fonts — the Helvetica, Times, Courier, Symbol and ZapfDingbats set — were historically assumed to be available in every reader, so files may reference them without embedding anything. Relying on that assumption is reasonable in narrow cases and risky in general, since what a modern viewer substitutes for "Helvetica" is not necessarily metrically identical.