catabase
category | op |
---|---|
nCob | nCob |
Span(Set) | Span(Set) |
Rel | Rel |
Prof | Prof |
Perm | Perm |
Hilb | Hilb |
Frm | Loc |
CompBoolAlg | FinSet |
1 | 1 |
category | op |
---|---|
nCob | nCob |
Span(Set) | Span(Set) |
Rel | Rel |
Prof | Prof |
Perm | Perm |
Hilb | Hilb |
Frm | Loc |
CompBoolAlg | FinSet |
1 | 1 |