This paper summarises work in progress on the digital reconstruction of the structure, space and decorative program of the music hall and annex at Vauxhall Pleasure Gardens c. 1764.The proposed outcome will be a recreation of the space and its contents combining Building Information Modelling in programs such as Revit with panoramic interior views of the larger-thanlife modern-subject history p...

We previously defined collagories essentially as “distributive allegories without zero morphisms”. Collagories are sufficient for accommodating the relation-algebraic approach to graph transformation, and closely correspond to the adhesive categories important for the categorical DPO approach to graph transformation. Heindel and Sobociński have recently characterised the Van-Kampen colimits use...

We present a sound and complete logical system for deriving inclusions between graphs from inclusions between graphs, taken as hypotheses. Graphs provide a natural tool for expressing relations and reasoning about them. Here we extend this system to a sound and complete one to cope with proofs from hypotheses. This leads to a system dealing with complementation. Other approaches using pictures ...

This paper presents a rst step in the formalisation of a relational calculus inside a constructive type theoretic framework. The calculus is the one based on allegories, and its formalisation is carried on with the help of a software tool assistant for Martin-LL of's monomorphic type theory. The goal of this eeort is allowing us to import relational calculus inside type theory, and take advanta...

Abstract This article examines two small portraits of Ignatius Loyola painted on copper between 1598 and 1622. Rather than focusing the true likeness founder Jesuits, it sheds light neglected early history Ignatius- ignis pun, according to which his name is juxtaposed with Latin word for fire. For this purpose, connects growing interest in materiality art. In contrast traditional supports, use ...