I am a user of the computer algebra system AXIOM, which has a sophisticated type structure for math concepts and structures.
I would be pleased to know of other users, and would be glad to give further information to anyone interested. There is a preprint:
Domains of data and domains of terms in AXIOMwhich includes a batch of AXIOM code for free groupoids and categories on directed graphs.
by R Brown and W Dreckmann
Ronnie Brown
Prof R. Brown
School of Mathematics
Dean St
University of Wales
Bangor
Gwynedd LL57 1UT
UK
Tel: (direct) +44 1248 382474
(office) +44 1248 382475
Fax: +44 1248 355881
email: mas010@bangor.ac.uk
- wwweb for maths