The following pages link to Copower functors (Q1006640):
Displaying 6 items.
- Coaction functors (Q305140) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- A multiplicative normal functor is a power functor (Q578639) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Free-lattice functors weakly preserve epi-pullbacks (Q2136297) (← links)
- Proving behavioural apartness (Q6666778) (← links)