![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Concept-Instance Algebra -- A retelling of B-systems
Concept-Instance Algebra -- A retelling of B-systemsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact George Kaye. Zoom details
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:
Note that ex-directory lists are not shown. |
Other listsSERENE Seminars Biosciences seminars Theoretical Physics Journal Club and Group MeetingOther talksSensing and metrology activities at NPL, India TBC Modelling uncertainty in image analysis. Ultrafast, all-optical, and highly efficient imaging of molecular chirality Disorder relevance for non-convex random gradient Gibbs measures in d=2 Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems |