Department of Mathematics

The Graduate Center of The City University of New York

365 Fifth Avenue (at 34th Street) map

(Diagonally across from the Empire State Building)

New York, NY 10016-4309

Wednesdays 7:00 - 8:30 PM.

Room 6417 .

Contact N. Yanofsky to schedule a speaker

or to add a name to the seminar mailing list.

The New York Category Theory Seminar and the New York Haskell Meetup is sponsoring a

The list for announcements and scheduling regarding this group is also at the hott-nyc google group:

https://groups.google.com/forum/#!forum/hott-nyc

We meet the first and third Wednesdays of each month from 7:00 to 8:30 PM in Room 6417. The meetings are run by Gershom Bazerman.

We show how to mathematically model the two versions starting just with a subset S of U and then focus on the less familiar #2 interpretation where S is viewed not as a set of distinct elements but as a more abstract entity 'S-ness' that is definite on what is common between the elements of S and indefinite on how they differ. The point is that the #2 case dovetails precisely with the quantum mechanics notion of a superposition of distinct eigenstates of some observable which is a state definite only on what is common to the superposed eigenstates and is objectively or onticly indefinite between them. The process in general of classifying by some attribute to make the #2 indefinite state more definite then emerges as the process of measurement in QM.

Joint with Primoz Skraba and Joao Pita Costa, we have developed a topos-based foundation for persistent homology, where the underlying Heyting algebra P captures the *shape* of the persistent homology theory, and persistent homology emerges as the internal theory of (semi)simplicial homology within the set theory determined by the topos of sheaves over P.

In this talk, I will give an introduction to persistent homology, and demonstrate how the theory fits with a topos-based foundation.

Previous Semesters:

##### Fall 2015 - Fall 2016 Topos Theory Reading Group

##### Fall 2013 - Spring 2015 Homotopy Type Theory Reading Group

##### Spring 2012

##### Fall 2011

##### Spring 2011

##### Fall 2010

##### Spring 2010

##### Fall 2009

##### Spring 2009

Other Category Theory Seminars: