2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2022
Proceedings of the Fourth International Conference on Applied Category Theory
Kohei Kishida
The Fourth International Conference on Applied Category Theory took place at the Computer Laboratory of the University of Cambridge on 12--16 July 2021. It was a hybrid event, with…
math.CT2022
On the Lambek embedding and the category of product-preserving presheaves
Peng Fu, Kohei Kishida, Neil J. Ross +1
It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda…
cs.LO2017★ 2 cited
Categories for Dynamic Epistemic Logic
Kohei Kishida
The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category…