On 14/10/17 11:43, oldk1331 wrote:
go beyond that and specify axioms seems even more impossible.
"Specify axioms"? Do you mean theorem prover? Like Coq or Isabelle?
Well the human-readable way to Specify axioms in category theory is
diagrams that commute but I suspect the computer-readable version would
be equations of functions?
So this:
---- F ---->
| |
G G
| |
V V
---- F ---->
would be:
FG = GF
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
