![]() |
![]() |
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 listsTheoretical Physics Seminars Condensed Matter Group Meetings Type the title of a new list hereOther talksHunt for an Earth-twin Counting cycles in planar graphs TBA Horizontal Mean Curvature Flow and stochastic optimal controls TBA The tragic destiny of Mileva Marić Einstein |