Location: Science Conference Room / Main Campus, Zouk Mosbeh
Time: 3:00 p.m.
The foundations for a categorical theory that extends the ideas on the analysis of logic in categories, which is usually done in the categories called topoi. First, “algebra of logic,” particularly that of Heyting Algebra, and second “subobject classification,” particularly in topoi. Both these ideas are essential to develop what is known as “categorical logic,” i.e. the analysis of logic in categories.
Speaker | Dr. Ramez Maalouf
Affiliation | NDU