The following pages link to The Category TOF (Q3385627):
Displaying 4 items.
- Is the category JTF a topos? (Q1118025) (← links)
- Category IFuz and wtopos (Q2785665) (← links)
- The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders (Q6645577) (← links)
- And-gates in ZX-calculus: spider nest identities and QBC-completeness (Q6645586) (← links)