Spreadsheets are a very successful programming paradigm. Their success stems from user’s familiarity with tabular data, and their previous experience in performing manual comput...
Using the randomness provided by the physical environment to build security solutions has received much attention recently. In particular, the shared entropy provided by measuring...
Christian T. Zenger, Jan Zimmer, Mario Pietersz, J...
While individual differences in decision-making have been examined within the social sciences for several decades, they have only recently begun to be applied by computer scienti...
In [7] we introduced the category MKHaus of modal compact Hausdorff spaces, and showed these were concrete realizations of coalgebras for the Vietoris functor on compact Hausdor...
Guram Bezhanishvili, Nick Bezhanishvili, John Hard...
We define the notion of exact completion with respect to an existential elementary doctrine. We observe that the forgetful functor from the 2category of exact categories to exist...
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identi...
We propose the notion of association schemoids generalizing that of association schemes from small categorical points of view. In particular, a generalization of the Bose-Mesner al...
We make explicit a larger structural phenomenon hidden behind the existence of normalizers in terms of existence of certain cartesian maps related to the kernel functor.