Skip to content
July 21, 2012 / porton

Category without the requirement of Hom-sets to be disjoint

From this Math.SE post:

It would be helpful to have a standard term XXX for “a category without the requirement of Hom-sets to be disjoint” and “category got from XXX by adding source and destination object to every morphism”.

This would greatly help to simplify at least 50% of routine definitions of particular categories. Why should we specify a triple (f;A;B) every time we define something categorical? It is too much hand-writing.

I wonder when there are no agreement between mathematicians on this terminology.

Hey, readers, can we make up a term and lobby to make it standard terminology?

Advertisements

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

%d bloggers like this: