The following pages link to Modal Operators for Coequations (Q4917039):
Displaying 6 items.
- Some co-Birkhoff type theorems (Q2842554) (← links)
- Comprehension for coalgebras (Q2842555) (← links)
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem (Q2842821) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Graded modal operators and fixed points (Q2883057) (← links)
- (Q4012252) (← links)