University of Birmingham > Talks@bham > Theoretical computer science seminar > Concept-Instance Algebra -- A retelling of B-systems

Concept-Instance Algebra -- A retelling of B-systems

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact George Kaye.

Zoom details


I shall describe an algebra of concepts and instances which are either absolute or contextual (contextual meaning that they are what they are only in context), in which contexts are nested and in which concepts are equally contexts. I call the algebras CI-algebras and I will describe a generalised algebrac theory of CI-algebras. CI-algebras are a re-articulation of structures that Vladimir Voevodsky described as B-systems and which have been described independently as algebras over a monad by Richard Garner. I will discuss the formal relationships between CI-algebras, generalised algebraic theories and contextual categories and, informally, by example, to entity-relationship modelling and data specification.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.