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 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

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

WildCats v. 0.51.0 (beta) just released

Version 0.51.0 was released June 12, 2012

This is an essential update of WildCats

History: from v. 0.50 to v. 0.51

• CP functors
• ProdCategory objects and morphisms are simple lists now
• Changed notation for IdFunctor
• Improved formatting for ProdCategory
• Fixed MorphismQ[x,CAT]=False
• Changes in CategoryPlot: no padding, arrow setback=0.2,arrowheads Medium
• ObjectRenderingFunction introduced
• Multiple Iso example in doc
• UniversalViewTo with multiple Iso

WildCats v. 0.50.0 (beta) just released

Version 0.50.0 was released May 10, 2012

This is major update of WildCats

History: from v. 0.40 to v. 0.50

• New Splash screen
• Universal properties (started)
• functions as sets
• Yoneda amd CoYoneda (started)
• Patterns in Objects
• Category FinOrd
• Reduced initial message
• Documentation center: created Guide, Tutorials, Symbol pages
• FinOrd[n], FiniteGroup
• Functor categories
• Natural transformation Id and Op with components
• Functors via DefObject and Natural transformations via DefMorphism
• The functor U : Metc  -> Top
• PowerSet and CoPowerSet functors
• OP@OP
• Properties has been replaced by CatProperties, to be compatible with MMA v. 8.x
• Small and SmallQ have been replaced by SmallCat and SmallCatQ, to be compatible with MMA v. 6.x