# WildCats v. 0.62.1 (beta) just released

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

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$\emptyset$ and Grph1
OP has been replaced with OPP. The superscript form stays the same $C^{OP}$ though