Bill, you may also like to see the HomAlg project: http://homalg.math.rwth-aachen.de/
I know of this through some of its authors, Mohamed Barakat and Sebastian Gutsche, who both still list their affiliation on that website as Kaiserslautern. That project is homological algebra. It is an innovative project that is obviously informed by category theory. Bill. On Friday, 2 October 2015 02:53:47 UTC+2, Bill Page wrote: > > Thanks. > > https://github.com/homalg-project/CAP_project > > https://github.com/homalg-project/CAP_project/blob/master/CAPManual.pdf > > On 1 October 2015 at 18:43, Simon King <simon...@uni-jena.de <javascript:>> > wrote: > > PS: > > > > On 2015-10-01, Bill Page <bill...@newsynthesis.org <javascript:>> > wrote: > >> I am very interested in the use of adjunction in programming languages > >> and the definition of types by construction of universals. Perhaps CAP > >> is relevant? Can you provide a reference to a relevant paper? > > > > The talk on CAP here was presented by Sebastian Gutsche from > > Kaiserslautern and Sebastian Posur from Aachen. > > > > Best regards, > > Simon > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
