[Alta-Logic] Fwd: This Thursday: 3:30PM ENC 70 - Mathematics & Philosophy Lecture - Emily Riehl

[Florian Schwarz]

Dear all,

As you can see below, this Thursday Emily Riehl will give a lecture 
about Math and Philosophy.

We recommend to go there.

Best,

Florian



-------- Forwarded message --------
About: 	This Thursday: 3:30PM ENC 70 - Mathematics & Philosophy Lecture 
- Emily Riehl
Time: 	Mon, 6 Feb 2023 03:22:02 +0000
From: 	Cristian Rios <crios at ucalgary.ca>
To: 	dept Math <dept at math.ucalgary.ca>



*Mathematics & Philosophy Lecture*

*On the Art of Giving the Same Name to Different Things* 
<https://www.ucalgary.ca/programs/mathphil/2022-23>**

Emily Riehl <https://math.jhu.edu/~eriehl/>
Johns Hopkins University
Thursday, February 9, 2023, 3:30
ENC 70 and on Zoom

Please register ahead of time: 
https://go.ucalgary.ca/2023-02-09-Mathematics-and-Philosophy-Lecture_LP-registration.html

Mathematics has developed an increasingly “higher dimensional” point of 
view of when different things deserve the same name, categorifying the 
traditional logical notion of equality to isomorphism (from Greek isos 
“equal” and morphe “form” or “shape”) and equivalence (from Latin aequus 
“equal” and valere “be well, be worth”). In practice, mathematicians 
tend to become more flexible in determining when different things 
deserve the same name as those things become more complicated, as 
measured by the dimensions of the categories to which they belong. 
Unfortunately, these pervasive notions of sameness no longer satisfy 
Leibniz’s identity of indiscernibles — the assertion that two objects 
are identical just when they share the same properties — essentially 
because the traditional set theoretical foundations of mathematics make 
it too easy to formulate “evil” statements. However, in a new proposed 
foundation system there are common rules that govern the meaning of 
identity for mathematical objects of any type that allow one to 
“transport” information along any identification. Moreover, as a 
consequence of Voevodsky’s univalence axiom, these identity types are 
faithful to the meanings of sameness that have emerged from centuries of 
mathematical practice.

Emily Riehl <https://math.jhu.edu/~eriehl/> is Professor of Mathematics 
at Johns Hopkins University, working on higher category theory, abstract 
homotopy theory, and homotopy type theory. She studied at Harvard and 
Cambridge Universities, earned her Ph.D. at the University of Chicago, 
and was a Benjamin Pierce and NSF postdoctoral fellow at Harvard 
University. She has published over thirty papers and written three 
books: /Categorical Homotopy Theory/ (Cambridge 2014), /Category Theory 
in Context/ (Dover 2016), and /Elements of ∞-Category Theory/ (Cambridge 
2022, joint with Dominic Verity). She was recently elected as a member 
at large of the Council of the American Mathematical Society. In 
addition to her research, Dr. Riehl is active in promoting access to the 
world of mathematics through popular writing and in interviews and 
podcasts. She was also a co-founder of Spectra: the Association for LGBT 
Mathematicians.

/The Mathematics & Philosophy Lectures aim to introduce topics at the 
intersection of mathematics and philosophy to a general academic 
audience. They are sponsored by the  Departments of Philosophy 
<http://phil.ucalgary.ca/> and Mathematics <http://math.ucalgary.ca/>, 
PIMS <http://www.pims.math.ca/>, the Pacific Institute for the 
Mathematical Sciences, and the Faculty of Science. The events are free & 
open to the public; a reception follows./

Cristian Rios

Associate Head - Research

Department of Mathematics and Statistics

Faculty of Science

University of Calgary


2500 University Drive NW
Calgary, AB, T2N-1N4, Canada

(403) 220-3221
(403) 282-5150 (fax)
crios at ucalgary.ca <mailto:crios at ucalgary.ca>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20230207/659e7272/attachment.html>