metadata
pipeline_tag: text-classification
widget:
- text: >-
Dijkstra's algorithm is an algorithm for finding the [MASK] paths between
nodes in a weighted graph
example_title: Djikstra
- text: >-
Proposition 1. The sum of the differential weight d on the Dowker complex
D(X, Y, R) is the number of elements of Y .
example_title: Proposition
- text: >-
Proof. This follows from showing that t is order-reversing in the
following way: if σ ⊆ τ, then t(σ) ≥ t(τ).
example_title: Proof 1
- text: >-
Theorem 1. Given the Dowker complex D(X, Y, R) and differential weight d,
one can reconstruct R up to a bijection on Y .
example_title: Theorem
- text: >-
The Dowker complex D(X,Y,R) is a functor between an appropriately con-
structed category of relations and the category of abstract simplicial
complexes. We prove this fact in Theorem 3 along with a few other
observations.
example_title: Basic
- text: >-
Lemma 1. Let f : X → Y be a simplicial map. For every pair of simplices σ,
τ of X satisfying σ ⊆ τ, their images in Y satisfy f(σ) ⊆ f(τ).
example_title: Theorem
- text: >-
Since f is a simplicial map, then f(σ) is a simplex of Y and so is f(τ).
If σ ⊆ τ, then every vertex v of σ is also a vertex of τ. By the
definition of simplicial maps, f(v) is a vertex of both f(σ) and f(τ).
Conversely, every vertex of f(σ) is the image of some vertex w of σ. □
example_title: Proof without keyword
- text: >-
The Dowker complex defined in Definition 2 is a covariant functor D : Rel
→ Asc.
example_title: th without keyword