The following pages link to Modal predicates and coequations (Q2842557):
Displaying 5 items.
- Coequational logic for accessible functors (Q618173) (← links)
- Stone coalgebras (Q703523) (← links)
- Some co-Birkhoff type theorems (Q2842554) (← links)
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem (Q2842821) (← links)
- Modals and ConditionalsNew and Revised Perspectives (Q2977763) (← links)