Version 0.62.1 released May 28, 2013

This is a *essential documentation *update of **WildCats**.

**Isomorphisms **and **Yoneda lemma** are among the new features being documented.

The term *Quasicategory *is being deprecated and will be replaced by *W-category*.

The two terms are synonymous.

In the transition period, both terms are used in the documentation.

Complete explanation will follow in the next release

# Download and Installation

History: from v. 0.60.0 to v. 0.62.1

- Change in terminology:
*Quasicategory*being replaced by*W-category*.

The two terms are synonymous.

In the transition period, both terms are used in the documentation.

Complete explanation will follow in the next release - Inside Morphisms and composition tutorial

Isomorphisms section: new - Inside Yoneda and CoYoneda functors tutorial

Yoneda lemma related sections: new and/or vastly improved - Inside Cones and Limits tutorial

Defining Cones section: modified last part - In WildCats Guide there is an index of tutorial sections
- The default context of every tutorial is Global again.
- DefObject, ObjectQ, SetQ and MorphismQ accept multiple arguments
- Isomorphisms defined
- Yoneda lemma implemented
- Finite sets are implemented
- The empty set is now FiniteSet[] internally
- ObjectQ and SetQ now accept lists of objects
- Numerical quantities are now sets
- Now in Objects[Set]:

Cat1Object,Cat2Object1,Cat2Object2,

Cat2Morphism,ParObject1,ParObject2,

ParDomMorphism,ParCodMorphism - U[Cat,Set] defined, giving the objects of a small category
- Grph category:

Clarification that these are small multi-graphs

Added Initial and terminal objects: Grph and Grph1

Added GrphSingleton - Symbol changes:

Cat1Singleton has been replaced with Cat1Object

OP has been replaced with OPP. The superscript form stays the same though

**Cat2**(category) has been replaced with**2** - Inside Standard Categories tutorial

Defining elements of a set section: vastly improved

Numbers are sets section: new

Finite sets section: new - Inside Functors tutorial

Fixed some category plots

Advertisements