- Tytuł:
- A 2-categorical framework for the syntax and semantics of many-sorted equational logic
- Autorzy:
-
Vidal, C.
Soliveres Tur, J. - Data publikacji:
- 2010
- Słowa kluczowe:
-
Many-sorted set
Many-sorted algebra
Ehresmann-Grothendieck construction
Kleisli category for a monad
many-sorted term
clones
many-sorted algebraic theory
Hall algebra
B´enabou algebra
polyderivor
transformation of polyderivors - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł