AlgebraicJulia / AlgebraicJulia/ACSets.jl

Multicolumn indexes

Offen
#17 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
enhancement
Vorherrschende Sprache
Julia
Sterne
36
Forks
11
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

Multicolumn indexes are useful in databases and also would be useful for ACSets. For example, a mapping table (i.e. a span `A<-R->B`, encoding a relation) is naturally indexed by its two outgoing morphisms to quickly check if `(a,b)` are related.

I'm not sure what needs to change in the underlying data structure, but an interface might look like this:

```
@present SchTest(FreeSchema) begin
(A,B,C,R)::Ob
f::Hom(R,A)
g::Hom(R,B)
h::Hom(R,C)
end

@acset_type Test(SchTest, index=[:h, (:f,:g)])

X = apex(terminal(Test))

incident(X, (1,1), (:f,:g)) # == [1]
```

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.