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

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

• John Cartmell
• Friday 14 October 2022, 13:30-14:30
• LG23, SoCS and Zoom (see abstract for link).

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

Zoom details

• Link: https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09
• Meeting ID: 818 7333 5084
• Passcode: 217

Abstract

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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• LG23, SoCS and Zoom (see abstract for link)
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.