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:


0-Cat : Set
1-Cat : Cat

Examples of n-Categories:

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


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

(Free downloadfrom arxiv)

View original post

Author: tomcircle

Math amateur

Leave a Reply

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

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

Google photo

You are commenting using your Google 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 )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.