Sat. Feb 1st, 2025

Category and Functor

Table of Content

Dec 6, 2015

Suppose C is a small category (i.e. the objects and morphisms form a set rather than a proper class) and D is an arbitrary category. The category of functors from C to D, written as Fun(C, D), Funct(C,D) or DC, has as objects the covariant functors from C to D, and as morphisms the natural transformations between such functors. Note that natural transformations can be composed: if μ(X) : F(X) → G(X) is a natural transformation from the functor F : C → D to the functor G : C → D, and η(X) : G(X) → H(X) is a natural transformation from the functor G to the functor H, then the collection η(X)μ(X) : F(X) → H(X) defines a natural transformation from F to H. With this composition of natural transformations (known as vertical composition, see natural transformation), DC satisfies the axioms of a category.

Category

1.Table of Content
2.Definition of Category
3.Isomorphisme, groupoïde

Functor

4.Covariant Functor

5.Contravariant Functor

Post Views: 119

By My- Courses

Related Post

Category and Functor

Functor

Dec 16, 2015 My- Courses

Category and Functor

Isomorphisms

Dec 15, 2015 My- Courses

Category and Functor

Category defintions & Examples

Dec 15, 2015 My- Courses

Leave a Reply Cancel reply

You must be logged in to post a comment.

You missed

Exploring the Impact of Artificial Intelligence in Extended Detection and Response (XDR)

May 19, 2024

The annual cost for implementing security labels on smart devices would be less than $5 million

May 17, 2024

Careless Docker Users Expose Secrets, Warn German Researchers

May 16, 2024

Concerns Also Arise From Insiders

May 2, 2024