Similar Items: Oriented 123-TQFTs via String-Nets and State-Sums

Similar Items: Relational representations for bounded lattices with operators