Skip to content

Abstract circumlocution

November 16, 2012

Let’s start with 1, then go little less abstract (Conceptual Mathematics, page 81) to a set with one element 1 = {.}, then go more abstract to a terminal object (a set to which there is one function from each set), then furthermore to objects satisfying universal mapping properties (for each object, there is one map from the object to an object satisfying universal mapping properties), then tone it down [or up?] to an object of maps f: A -> B from object A to object B, and finally go back all out abstract to its size: |B| ^ |A|, a number.

About these ads

From → Note to self

Leave a Comment

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 )

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


Get every new post delivered to your Inbox.

Join 1,200 other followers

%d bloggers like this: