An Introduction to N-Categories

Math Online Tom Circle

Tom Leinster

N = 0 : 0-Cat

  • => Set, 0-morphism = function

N= 1: 1-Cat

  • => Cat, 1-morphism = functor

N= 2: 2-Cat

  • => 2-morphism = Natural Transformation

$latex text {f, g : 1-morphism }$

$latex alpha :: beta text { Natural Transformations : 2-morphism }$

Definition of n-Category:

Composition:

0-Cat : Set
1-Cat : Cat

Examples of n-Categories:

  • Manifold
  • Top (Topological Space) : 2-morphism = homotopy

Ref:

Best Technical Category Theory Book (2016) by Tom Leinster (Cambridge Press): “Basic Category Theory”

(Free downloadfrom arxiv)

View original post

Advertisements

About tomcircle

Math amateur
This entry was posted in math. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s