categories - Category Theory list
 help / color / mirror / Atom feed
From: Sergei SOLOVIEV <soloviev@irit.fr>
To: categories@mta.ca
Subject: diagrams in computer algebra
Date: Sun, 02 Oct 2011 23:10:50 +0200	[thread overview]
Message-ID: <E1RAhZ0-00060D-H0@mlist.mta.ca> (raw)
In-Reply-To: <E1Ofu94-0006jt-3I@mlist.mta.ca>

Question to the list:

I am very much interested, does there exist any practically usable
system for the "computer algebra style" work with diagrams. I.e. not
just write down the diagrams (like XyPic) but for example for
diagram chasing,
verification of commutativity in any interesting classes of categories
with structure etc. As I remember there were some systems permitting
computation of some limits in very limited classes of categories,
also some heavy attempts of formalisation in some general
purpose proof assistants
but I do not know about anything else.

Regards to all

Sergei Soloviev


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


  parent reply	other threads:[~2011-10-02 21:10 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-07-31  7:55 What else do simplicial sets classify? Andrej Bauer
2010-08-01 14:16 ` Prof. Peter Johnstone
2010-08-08 12:11   ` "etirement morphique" soloviev
2011-10-02 21:10   ` Sergei SOLOVIEV [this message]
2011-10-03 18:02     ` diagrams in computer algebra Michael J Healy
2011-10-04 16:04       ` Eduardo J. Dubuc
     [not found]       ` <CA+0XtC_e0MsZ_a6WYPCWO=FPH15ULwa_9Lcv+zduJaK8HtKSPA@mail.gmail.com>
2011-10-12 21:47         ` Michael J Healy
     [not found]       ` <CA+0XtC_Soy9nyC=OLaSi88WHow_vKxQ+=aCadA2RyrAD+WNUyw@mail.gmail.com>
2011-10-12 21:53         ` Michael J Healy
2010-08-01 17:14 ` What else do simplicial sets classify? Joyal, André

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1RAhZ0-00060D-H0@mlist.mta.ca \
    --to=soloviev@irit.fr \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).