Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: cartesian transformation

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

On coalgebras and type transformations

100%

Gumm H.

Discussiones Mathematicae - General Algebra and Applications

2007

tom 27

nr 2

187-197

We show that for an arbitrary Set-endofunctor T the generalized membership function given by a sub-cartesian transformation μ from T to the filter functor 𝔽 can be alternatively defined by the collection of subcoalgebras of constant T-coalgebras. Sub-natural transformations ε between any two functors S and T are shown to be sub-cartesian if and only if they respect μ. The class of T-coalgebras whose structure map factors through ε is shown to be a covariety if ε is a natural and sub-cartesian mono-transformation.

Ograniczanie wyników

1 Discussiones Mathematicae - General Algebra and Applications

1 Gumm H.

1 2007

Wyniki wyszukiwania

On coalgebras and type transformations