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.
Paolo Perrone (Jun 09 2020 at 00:45):Hallo!
Normalerweise ist es nicht zu schwierig, technische Texte in einer anderen Sprache zu lesen, da die meisten Wörter fast gleich aussehen. Aber es gibt viele Ausnahmen, und es könnte hilfreich sein, diese Wörter zu sammeln!
Paolo Perrone (Jun 09 2020 at 00:46):Ich fange an:
Sheaf = Garbe
Presheaf = Prägarbe
Paolo Perrone (Jun 09 2020 at 00:55):domain (as in domain theory): Bereich
valuation (as in domain theory): Bewertung
Paolo Perrone (Jun 09 2020 at 01:03):Wie kann man "lax" übersetzen (wie in "lax monoidal")? "Locker"?
Paolo Perrone (Jun 09 2020 at 01:19):"Ein loser Funktor" sieht bei mir ein bisschen komisch aus :p
Paolo Perrone (Jun 09 2020 at 17:35):Set = (die) Menge
Dhruva Divate (Jun 12 2020 at 11:21):Es gibt "Lax" in Deutsch. Sehen Sie hier https://www.dict.cc/?s=lax
"lasch" klingt gut auch.
Christoph Horst (Jun 15 2020 at 15:42):In Martin Brandenburgs Buch heißen sie "lax monoidale" Funktoren.
Dhruva Divate (Jun 16 2020 at 11:07):ganz einfach
Jonathan Weinberger (Aug 12 2021 at 01:42):@_Dhruva Divate|310982 said:
Es gibt "Lax" in Deutsch. Sehen Sie hier https://www.dict.cc/?s=lax
"lasch" klingt gut auch.
In diesem Kontext würde ich "lax" bevorzugen. Aber es stimmt, dass die beiden Wörter sonst oft synonym gebraucht werden können.
Peter Arndt (Oct 13 2021 at 13:12):"Stack" heißt übrigens "Schober" auf deutsch - das sagt aber auch kein Mensch.
Tobias Fritz (Oct 13 2021 at 13:45):Mathematiker aber schon! Perverse Schobers
Peter Arndt (May 30 2022 at 12:46):lattice (odered set with finite infs and sups) = Verband
lattice (discrete subgroup of ) = Gitter
Tobias Fritz (May 30 2022 at 13:51):Gitterverband = lattice lattice :question: