WildCats v. 0.62.1 download link updated

A link error has been fixed and WildCats v. 0.62.1 is finally available for download.

I apologize for any inconvenience this may have caused.

Advertisements

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

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\emptyset and Grph1
    Added GrphSingleton
  • Symbol changes:
    Cat1Singleton has been replaced with Cat1Object
    OP has been replaced with OPP. The superscript form stays the same C^{OP} 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