Information om | Engelska ordet ENDOFUNCTOR

Exempel på hur man kan använda ENDOFUNCTOR i en mening

• In concise terms, a monad is a monoid in the category of endofunctors of some fixed category (an endofunctor is a functor mapping a category to itself).
• A coaugmented functor is a pair (L,l) where L:C → C is an endofunctor and l:Id → L is a natural transformation from the identity functor to L (called the coaugmentation).
• Then coalgebras for the endofunctor P(A×(-)) are in bijective correspondence with labelled transition systems, and homomorphisms between coalgebras correspond to functional bisimulations between labelled transition systems.
• The above layman's description can be stated more formally in category theory: the anamorphism of a coinductive type denotes the assignment of a coalgebra to its unique morphism to the final coalgebra of an endofunctor.

Förberedelsen av sidan tog: 80,27 ms.