functor

For a language with state, we can work in a functor category.

Dla języka ze stanem, możemy pracować w kategorii funktora.

Then as we can take the free group functor.

Wtedy ponieważ możemy brać wolny funktor grupowy.

G is not a functor, but nevertheless it carries important information.

G nie jest funktorem ale niemniej to przenosi ważne informacje.

A functor is an operation on spaces and functions between them.

Funktor jest operacją na spacjach i funkcjach między nimi.

Such a variable cannot take a term made of a functor applied to other terms as a value.

Taka zmienna nie może zająć terminu zrobionego z funktora zastosowanego do innych warunków jako wartość.

Here, has domain 1 and is an identity functor.

Tu, ma dziedzinę 1 i jest funktorem tożsamości.

This allows the entire chain complex to be treated as a functor.

To pozwala całemu łańcuchowi skomplikowany zostać potraktowanym jako funktor.

In the language of representable functor one can state the above result as follows.

W języku z representable funktor można określać wyżej wymieniony wynik jak następuje.

A continuous functor is one that preserves all small limits.

Ciągły funktor jest jednym to zachowuje wszystkie niewielkie granice.

The part consists of expressions that are evaluated when the functor is called.

Część składa się z wyrażeń, które są ocenione gdy do funktora dzwonią.

There are for such that has a basis in , so is a free functor.

Jest dla taki to ma podstawę w, tak jest wolnym funktorem.

Another common work around is using a functor.

Inna wspólna praca około używa funktora.

Finally there is a functor which takes the product of two topological spaces.

W końcu jest funktor, który znosi wytwór dwóch przestrzeni topologicznych.

For a second example, consider the same functor 1+Nx(-) as before.

Na okamgnienie przykład, uważać taki sam funktor za 1 +Nx (-) jak przedtem.

Recall that we could also express a sheaf as a special kind of functor.

Przypomnij sobie, że również mogliśmy wyrazić snop jako szczególny rodzaj funktora.

If Y is a point, then the direct image equals the global sections functor.

Jeśli Y jest punktem, w takim razie obraz prosty dorównuje światowym działom funktor.

Then the fact is that the functor is an equivalence.

W takim razie fakt jest że funktor jest równoważnością.

Every flat resolution is acyclic with respect to this functor.

Każda kategoryczna uchwała jest acykliczna w odniesieniu do tego funktora.

In category theory, a correspondence from to is a functor .

W teorii kategorii, korespondencja z aby jest funktorem.

For these objects, a commonly considered forgetful functor is as follows.

Dla tych przedmiotów, roztargniony funktor powszechnie rozważony jest jak następuje.

It is useful to regard the dual group functor.

Dobrze jest dotyczyć podwójnego funktora grupowego.

An alternative approach to the dual point of view is to use the functor of points.

Alternatywne podejście do podwójnego punktu widzenia ma użyć funktora punktów.

A direct system is then just a covariant functor .

Bezpośredni system jest wtedy właśnie covariant funktor.

A particularly common type of functor is the predicate.

Szczególnie wspólny typ funktora jest orzeczeniem.

This functor is left exact but not necessarily right exact.

Ten funktor jest w lewo dokładny ale niekoniecznie prawy dokładny.