The term “logos” is used
by Heraclitus for logos (in philosophy), something that later was discussed as “logic” in Hegel‘s Science of Logic.
in Freyd-Scedrov as a synonym for Heyting category;
in Joyal 08 as a synonym for quasi-category ((∞,1)-category).
In Joyal 2015 and Anel–Joyal 2019 for an object of the opposite of the category of toposes.
Peter Freyd, Andre Scedrov, Categories, Allegories
André Joyal, Notes on Logoi, 2008 (pdf)
André Joyal, A crash course in topos theory : the big picture, lecture series at Topos à l’IHÉS, 2015 Video 1, Video 2, Video 3, Video 4.
Mathieu Anel and André Joyal, Topo-logie, preprint, 2019 (pdf)
Discussion of relation to taoism?:
Last revised on May 3, 2019 at 06:35:39. See the history of this page for a list of all contributions to it.