University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > Free algebras for free theories

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Free algebras for free theories

Download to your calendar using vCal

If you have a question about this talk, please contact Ariadne Si Suo .

Higher categories are often described as algebras for a monad in the category of presheaves over a direct category of shapes. In this talk, we will explore what are the generating data for such a monad and for their algebras. We will introduce a generalised notion of signature (a special type of GAT ) and we will describe inductively “computads” for such a signature as well as free algebras they generate.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Computer Lab, LT2 FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon https://dtudk.zoom.us/j/69745050502?pwd=RzV3UWtMWjgzMko4cFhSNFM3T1FEdz09

Other talks

FILM: One With The Whale Group Work Title to be confirmed Alicia Anderson discussing some exciting news about HARPS3 Haematology and Palliative Care Together Now: Cooperation and Collaboration in Social Art Practice
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity