University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Datatypes as algebras

  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

Datatypes as algebras

Download to your calendar using vCal

If you have a question about this talk, please contact Ian Orton .

Datatypes like Nat, List, Tree,... are constructed in a similar way: inductively according to some constructors. How can we understand these constructions in a uniform way? One solution is the simple category-theoretic idea of an algebra. This idea can be used to capture not just lists and trees, but also much more general notions like the abstract syntax of a type system. I will introduce algebras and show why they are good models of structure, and show how properties like induction principles arise naturally out of this perspective. (The only category theory assumed will be the idea of a category and a functor).

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Meeting the Challenge of Healthy Ageing in the 21st Century Faculty of Mathematics Lectures via Zoom online

Other talks

Organiser Welcome Welfare Reform and the Imperative of Cooperation Talk title TBC Grand Rounds - Equine Cooperation for Nature The elephant in the room: Machine Learning directly into physical models
 

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