Download link working again

The download link for Wildcats 0.70 on dropbox has been fixed and is working again. Thanks Herb for the heads-up.

Advertisements

WildCats v. 0.70.0 (beta) just released

Version 0.70.0 released March 5, 2014

This is an essential and major update of WildCats.
Among the new features:
Adjunctions, Horizontal composition, Morphisms properties,
Invertible morphisms, Power functors.

Download and Installation

History: from v. 0.62.1 to v. 0.70.0

    • Id has now only the object argument. Backward non-compatible.
      Please refer to Id symbol page
    • The original tutorial “Functor Quasicategories” has been renamed
      “Functor W-categories”.
    • FinSet, FinOrd categories and inclusion functors
    • Introduction tutorial: expanded several sections
    • Adjunctions tutorial: new
    • Inside Functor W-categories tutorial
      Vertical composition section: new
      PowerFunctor section: new
    • Inside Cones and Limits tutorial
      Defining Cones section: expanded
    • Inside Functors tutorial
      Functors preserve invertible morphisms section:new
      Invertible functors section: new
      Hom functors section: redefined primed variables
    • Inside Morphisms and Composition tutorial
      Define morphisms properties section: new
      Isomorphisms and InverseMorphism section: new
    • Inside Natural transformations tutorial
      Invertible natural transformations section: new
      Horizontal composition section: new
    • InverseMorphism: implemented
    • Horizontal composition: implemented
    • PowerFunctor: implemented
    • Adjunctions related functions: implemented
    • IsoQ: implemented
    • DefMorphismProperties: implemented
    • MonoQ, StrongMonoQ, ExtremeMonoQ: partially implemented
    • EpiQ, StrongEpiQ, ExtremeEpiQ: partially implemented

Xmas update

WildCats v. 0.70.0 will be released shortly, perhaps before the end of the year.
It will be a major release featuring:

  • morphism properties (mono, epi, iso, etc)
  • invertible morphisms, functors and natural transformations
  • power functors
  • horizontal composition

and …finally …

  • adjunctions

Most of this stuff is alive and kicking and fully documented, so please be patient a little while longer.

In the meantime…Season’s Greetings from the WildCatsters

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

WildCats v. 0.62.0 (beta) just released

Version 0.62.0 released Apr 15, 2013

This is an essential and major update of WildCats.
Isomorphisms, Yoneda lemma and finite sets are among the new features

Download and Installation

History: from v. 0.60.0 to v. 0.62.0

  • 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: documentation not yet ready
  • Yoneda lemma implemented: documentation not yet ready
  • 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

All roads lead to Rome

All roads lead to Rome WildCats

Did you know that people can easily find this website by simply typing one or two obvious search terms?

Using Google, any of the following search terms combinations link multiple times – directly or indirectly, but explicitly – to the WildCats Site within the first 10 search results

    category mathematica
    universal properties mathematica
    functors mathematica
    natural transformation mathematica
    category theory wildcats
    functors wildcats

While if you type

    categories wildcats

or

    category wildcats

basketball and hockey teams steal the stage and the WildCats site appear in 17th or 18th place.

This is not bad, considering that no advanced search engine optimization techniques have been used to improve WildCats search ranking.

WildCats v. 0.60.0 (beta) just released

Version 0.60.0 released Dec 26, 2012

This is an essential and major update of WildCats.
Comma categories, Cones and Yoneda functors are among the new features.

Download and Installation

History: from v. 0.55.0 to v. 0.60.0

  • NT now passes non Op expressions unchanged
  • Opposite (dual) functors
  • Naturals expanded
  • Added 3 tutorials:
    Comma categories
    Cones and Limits
    Yoneda and Coyoneda functors
  • ConePlot
  • Comma categories
  • Inside Natural Transformations tutorial
    Displaying natural transformations section: new
    NTPlot using graph examples
  • Inside Standard Categories tutorial
    Defining elements of a set section: new
  • Inside Functors tutorial
    Automatic Usage messaages for user-defined functors
    DiscreteCategory section: expanded
    Diagonal functors section: new
    Opposite (dual) functors section: new
  • Inside Defining and Modifying Categories tutorial
    Automatic Usage messaages for user-defined categories
  • Inside Natural Transformations tutorial
    New NT functionality described

WildCats v. 0.55.0 (beta) just released

Version 0.55.0 released Sept 5, 2012

This is an essential update of WildCats.
CategoryPlot has been completely refactored. It now uses Graph and displays with TraditionalForm.
The new powerful GraphEvaluate function allows easy categorical manipulation of graphs.
Read Displaying Diagrams tutorial for further details.

Download and Installation

History: from v. 0.51 to v. 0.55.0

  • GraphEvaluate
  • Category Plot refactored using Graph
  • Exponentials started
  • CatProperties of Grphs
  • Diagonal functors started
  • Documentation updated