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

# Author Archives: magmawordpress

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

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

# Wildcats presented in Bologna, Italy

The latest version of WildCats will be presented at the 6th Mathematica Italian UGM in Bologna, Italy, 30-31 May 2013

# 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 with*in 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