Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: community: Deutsch/German

Topic: Hotz 1965


view this post on Zulip Jules Hedges (Apr 02 2020 at 13:18):

Ich übersetze das Papier "Eine Algebraisierung des Syntheseproblems von Schaltkreisen" von Günter Hotz (1965) nach Englisch (langsamlich!).... es hat monoidale Kategorien und String Diagrams, mir sieht es so 50 Jahren zu früh aus

view this post on Zulip Jules Hedges (Apr 02 2020 at 13:20):

Man kann es von dem nLab-Blatt für String Diagrams downloaden https://ncatlab.org/nlab/show/string+diagram

view this post on Zulip Johannes Drever (Apr 22 2020 at 18:42):

Jules Hedges said:

Cool!! Natürlich bist du viel schneller als mich. Hier ist das erstes Blatt von mir: Translation.pdf

Ich bin manchmal ein bisschen ungedulig und will es schnell fertig kriegen :smile: Daher sind wohl auch viele Deutsche Idiome drin, da liest sich deine Übersetzung flüssiger.

view this post on Zulip Johannes Drever (Apr 22 2020 at 18:48):

In dem Podcast Future Histories werden soziologische Ideen diskutiert. In einer Folge geht es um Kybernetik und radikale Demokratie. Das passt ganz gut zum Text :smile: (im weitesten Sinne)

view this post on Zulip Antonin Delpeuch (Oct 05 2020 at 17:18):

Toll, dass ihr diesen Artikeln übersetzen :)

view this post on Zulip Antonin Delpeuch (Jan 17 2023 at 14:26):

Was ist die Übersetzung auf Deutsch von "string diagram", eigentlich?

view this post on Zulip Jonathan Weinberger (Jan 17 2023 at 17:07):

Gute Frage. Offenbar ist "String-Diagramm" zumindest teilweise geläufig

view this post on Zulip Steve Awodey (Jan 18 2023 at 01:46):

Faden Diagramm?