分野別セミナー

Beginning with a short introduction to "computable", "calculable" and
"provable" classes which are introduced by A.Turing and his followers,
we introduce "computable category", it is a generalization of
"computable classes" for category theory. In this sense, computable
category can represent all the possible constructions from the
category on pre-computable category via hirarchy of classes with
respect to characteristic functional. We will explain some algebraic
extension for computable category, categorical contraction, and the
possibilities for topological object. (These are joint work with
A.Ushijima)
I also talk about some details of region category and their family of
generalization via n-gons. We will discuss between computable
category and region category with a view of provability from
categorical limits.(There are joint work with T.Kadokami)