A Rosetta Stone lines up one concept across the fields that each named it differently, so the shared essence shows through the vocabulary. Every row is the same object seen from another domain, and the last column records where the conventions diverge.

The tables below collect recurring correspondences. They are identifications up to a dictionary rather than loose analogies, since each row is the same operator or construction carried between algebraic topology, differential geometry, and the cellular-sheaf models used across this wiki. Reading a concept through its row is often faster than reading its definition, because the column that is already familiar fixes the meaning of the rest.

Laplacians

The essence is a second-order operator that measures variation, whose kernel is the harmonic data that does not vary.

domainoperatordefinitionacts on
graph theorygraph Laplacian degree minus adjacencyfunctions on vertices
Hodge theoryHodge Laplacian exterior plus co-differential-forms
differential geometryconnection Laplacian adjoint of the covariant derivativesections of a bundle
cellular sheavessheaf Laplacian adjoint of the coboundary0-cochains

The variants degenerate into one another. Trivial restriction maps collapse the sheaf Laplacian to the graph Laplacian , a continuum limit carries it to the connection Laplacian, and the Weitzenböck identity ties the Hodge and connection forms together through a curvature term.

Coboundary and codifferential

The essence is the adjoint of the degree-raising differential, although the naming and the direction flip between fields.

domainnamesymboldirection
algebraic topologycoboundary
differential geometrycodifferential
cellular sheavescoboundary

The direction is the trap. The topologist’s coboundary raises degree, whereas the geometer’s codifferential lowers it, so the shared symbol points opposite ways. The sheaf coboundary follows the topological convention, subtracting the two restrictions on each overlap.

Sections and fields

The essence is an assignment of data to each point of a base, subject to a coherence condition.

domainnameobjectcoherence
sheaf theoryglobal sectionrequired
fibre bundlessection, field, continuity
physicsfieldthe field equation
cellular sheavessection

A section is the special 0-cochain that already agrees across every incidence, so it is the subspace . An ordinary node feature is a 0-cochain under no such constraint, and sheaf diffusion is the flow that drives a general 0-cochain toward this consistent subspace.

Cocycles and curvature

The essence is the failure of transport to be trivial around a loop.

domainnametriviality condition
cohomologycocycle closes it
differential geometrycurvature is flat
fibre bundlesholonomy is flat
cellular sheavesholonomy of the restrictions around a cycleidentity is flat

When transport around every cycle is trivial the connection is flat, and the space of consistent sections is then largest. A nontrivial loop product is exactly discrete curvature, which is what lets a sheaf carry harmonic data richer than the constants a trivial sheaf allows.

Face maps and transport

The essence is moving data along an incidence.

domainnamedirection
simplicial setsface map
sheaf theoryfunctor on a morphism along the arrow
fibre bundlesparallel transport along a path
cellular sheavesrestriction mapcell to incident cell
graph networksmessage passingvertex to vertex

The continuous and discrete pictures share one dictionary. A connection fixes parallel transport along a path, and its discrete counterpart is a restriction map assigned to each incidence, with the connection coefficients playing the role of the restriction data.

Hodge decompositions

The essence is the orthogonal splitting of a space into exact, co-exact, and harmonic parts.

domaindecompositionharmonic part
Hodge theoryde Rham cohomology representatives
graph theory$\mathbb R^{V
cellular sheavessections

On a graph only degrees 0 and 1 exist, so the middle term is absent and the splitting has two pieces rather than three. Extending the base to higher cells restores the full three-term decomposition.

A companion table

The recurring prefixes of category theory admit the same treatment, gathered in categorical-modifier-prefixes.