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.
John Baez (Aug 11 2021 at 19:08):An editorial in Science:
Which advanced scientific text to translate? We suggest translating Conceptual Mathematics (Lawvere and Schanuel, 2009) into Kannada as ಪರಿಕಲ್ಪನಾ ಅಧ್ಯಯನ (Parikalpane Adhyayana, based on the meaning of the etymological roots of the word: mathematics), and making the Kannada textbook ಪರಿಕಲ್ಪನಾ ಅಧ್ಯಯನ (Parikalpane Adhyayana) freely available online and in print to students attending government schools. Why Conceptual Mathematics or ಪರಿಕಲ್ಪನಾ ಅಧ್ಯಯನ (Parikalpane Adhyayana)? Before we answer this question, we must note that Lawvere and Schanuel (2009) Conceptual Mathematics is a first introduction to categories (or universes of discourse). A universe of discourse, say, a category of cats is one in which every cat in the category has the essence (in the sense of the way parts of a whole stick together; see Lawvere and Schanuel, 2009, p. 146; Lawvere, 2015) 'catness', and every transformation of any cat is a natural transformation (e.g. transformation of a small cat into a big cat, preserves the catness that characterizes the category of cats). Therefore, what we refer to as Conceptual Mathematics is also known as Category Theory or Theory of Naturality (Eilenberg and MacLane, 1945; see also Lawvere, 2006, p. 2).
John Baez (Aug 11 2021 at 19:09):It's not completely clear to me if "big cat" is intended as an in joke here... but it's nice that someone wants to get Conceptual Mathematics translated into Kannada.