Victor Porton's Math Weblog

My category theory terminology page is updated. The most important changes: fixed error in definition of a category, added notion of trans-endomorphism used to define a typed morphism in an elegant way.

I suggest to use my variant of category theory terminology instead of the standard category theory definitions as found in math encyclopedias.

[More:]

These definitions contain basic category theory terms (category, precategory, functor, prefunctor, subcategory, etc.) as well as several more advanced terms, including typed category (morphism-source-destination triples) based on a precategory.