The following pages link to Syntax for split preorders (Q1942041):
Displaying 5 items.
- The algebra of partial equivalence relations (Q1744396) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965) (← links)
- Congruence Lattices of Ideals in Categories and (Partial) Semigroups (Q5889062) (← links)