Pages that link to "Item:Q618170"
From MaRDI portal
The following pages link to Presenting functors on many-sorted varieties and applications (Q618170):
Displaying 6 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Adjoint functors, projectivization, and differentiation algorithms for representations of partially ordered sets. (Q441403) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Foundations of Software Science and Computation Structures (Q5899087) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)