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: theory: philosophy

Topics:

• Homotopy Type Theory and Upper Ontologies (2 messages, latest: Nov 29 2024 at 12:14)
• The generic triangle (12 messages, latest: Nov 26 2024 at 08:01)
• Teaching CT before university (43 messages, latest: Nov 25 2024 at 01:17)
• Human sciences type questions related to Zulip (173 messages, latest: Nov 22 2024 at 12:17)
• “Drawing inferences” (1 message, latest: Oct 03 2024 at 20:25)
• Is God(s) a good or bad theory as to why things exist? (15 messages, latest: Sep 08 2024 at 18:18)
• epistemology and non-constructive principles (25 messages, latest: Aug 27 2024 at 09:32)
• Science vs natural philosophy (30 messages, latest: Aug 25 2024 at 16:15)
• ✔ Foundations of mathematics (2 messages, latest: Aug 22 2024 at 01:52)
• Kuhnian revolutions in mathematics (16 messages, latest: Aug 16 2024 at 13:03)
• The Category of Languages (7 messages, latest: Aug 15 2024 at 06:54)
• Ontological and epistemological status of real numbers (79 messages, latest: Aug 14 2024 at 15:43)
• Who's Afraid of Mathematical Diagrams? (16 messages, latest: Jun 11 2024 at 16:57)
• Existence Mathematics Being (5 messages, latest: Apr 01 2024 at 11:28)
• All visual art on canvases is the same?!? (12 messages, latest: Feb 20 2024 at 01:17)
• "Category theory is just a language" (116 messages, latest: Feb 07 2024 at 07:43)
• Anyone interested about "de Grothendieck et de Lacan"? (5 messages, latest: Jan 26 2024 at 09:14)
• Why is there something instead of nothing? (11 messages, latest: Jan 19 2024 at 05:45)
• About cashiers, baristas and mathematicians (48 messages, latest: Jan 18 2024 at 00:58)
• Mathematics = Ontology (Badiou) (37 messages, latest: Nov 10 2023 at 17:01)
• stream events (11 messages, latest: Nov 02 2023 at 11:32)
• Wittgenstein's Tractatus (1 message, latest: Aug 03 2023 at 17:57)
• Tensions between local data and global data (28 messages, latest: Jul 09 2023 at 00:28)
• Lambek on Heraclitus (2 messages, latest: Jun 12 2023 at 08:08)
• Philosophically-Applied Category Theory (28 messages, latest: May 06 2023 at 12:10)
• Annals of Mathematics and Philosophy (2 messages, latest: Apr 02 2023 at 22:51)
• Duality and Opposites (3 messages, latest: Dec 04 2021 at 20:14)
• Peirce (35 messages, latest: Sep 04 2021 at 14:54)
• Lawvere and Hegel (57 messages, latest: Aug 08 2021 at 13:38)
• the argument from collections (8 messages, latest: Aug 08 2021 at 03:48)
• René Guitart (1 message, latest: Jun 28 2021 at 07:52)
• Deleuze (2 messages, latest: Jun 28 2021 at 06:59)
• Biological Circularchy (1 message, latest: Jun 27 2021 at 12:30)
• category error (14 messages, latest: Nov 06 2020 at 16:31)
• univalence irl (21 messages, latest: Sep 26 2020 at 18:38)
• Philosophy and Mathematics (30 messages, latest: Aug 31 2020 at 20:44)
• ACT for the humanities (19 messages, latest: Aug 06 2020 at 16:00)
• What are Maths and Science? (177 messages, latest: Jun 23 2020 at 12:36)
• A relevant quote (15 messages, latest: Jun 05 2020 at 23:12)
• history (2 messages, latest: Mar 27 2020 at 06:56)