* The language of diagrams
@ 2020-12-11 8:07 Uwe Egbert Wolter
2020-12-12 5:38 ` Eduardo Ochs
0 siblings, 1 reply; 2+ messages in thread
From: Uwe Egbert Wolter @ 2020-12-11 8:07 UTC (permalink / raw)
To: categories list
Dear all,
only some weeks ago I became aware of "the language of diagrams"
introduced in "Categories, allegories" by Freyd/Scedrov.
Two questions:
1. Is this the first place where this language has been described and
defined?
2. Has this language been further elaborated and/or applied at other
places?
Best regards
Uwe
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: The language of diagrams
2020-12-11 8:07 The language of diagrams Uwe Egbert Wolter
@ 2020-12-12 5:38 ` Eduardo Ochs
0 siblings, 0 replies; 2+ messages in thread
From: Eduardo Ochs @ 2020-12-12 5:38 UTC (permalink / raw)
To: Uwe Egbert Wolter; +Cc: categories list
Hi Uwe,
1. No. It was introduced in:
P. Freyd. "Properties Invariant within Equivalence Types of
Categories". In: Algebra, Topology and Category Theory: A
Collection of Papers in Honour of Samuel Eilenberg. Ed. by A.
Heller and M. Tierney. Academic Press, 1976, pp. 55-61.
2. I am interested in the answer of this question too... can you share
your answers with the list? I use Freyd's language a lot, with the
modifications described here:
http://angg.twu.net/math-b.html#favorite-conventions
https://arxiv.org/abs/2006.15836
Cheers =),
Eduardo Ochs
http://angg.twu.net/math-b.html
http://angg.twu.net/dednat6.html
On Fri, 11 Dec 2020 at 23:20, Uwe Egbert Wolter <Uwe.Wolter@uib.no> wrote:
>
> Dear all,
>
> only some weeks ago I became aware of "the language of diagrams"
> introduced in "Categories, allegories" by Freyd/Scedrov.
>
> Two questions:
> 1. Is this the first place where this language has been described and
> defined?
> 2. Has this language been further elaborated and/or applied at other
> places?
>
> Best regards
>
> Uwe
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-12-12 5:38 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-12-11 8:07 The language of diagrams Uwe Egbert Wolter
2020-12-12 5:38 ` Eduardo Ochs
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).