[Alta-Logic] Peripatetic Seminar on Friday

[Florian Schwarz]

Dear all,

On Friday, November 29th, Rory Lucyshyn-Wright (Brandon University) will 
speak in the peripatetic seminar. It will be take place at 1pm in ICT 616.

Title: Weighted pullbacks in V-graded categories

Abstract: Introduced by Richard Wood in 1976, categories graded by a 
monoidal category V generalize both V-actegories and V-enriched 
categories.  In this talk, we review some basics of V-graded categories, 
and then we introduce a notion of weighted pullback in V-graded 
categories.  Weighted pullbacks are certain weighted limits that 
generalize the usual (conical) pullbacks, yet they also specialize to 
certain notions of universal quantification and certain dependent 
products.  Indeed, weighted pullbacks generalize simple products in the 
codomain fibration of a cartesian closed category with finite limits 
and, in particular, simple universal quantification in the subobject 
fibration of such a category.  Generalizing the latter example, we 
introduce notions of simple product and simple universal quantification 
in V-actegories as special cases of the notion of weighted pullback. In 
particular, weighted pullbacks thus give rise to a notion of simple 
universal quantification in monoidal categories.

Website: https://logic.ucalgary.ca

Hope to see you there!

Best regards,
Florian Schwarz