A Freyd category consists of two categories C and K with an identity-on-objects functor J: C → K, where: - C has finite products - K is symmetric premonoidal (with a functor ⊗ z ) - J maps finite ...

冒頭、社長の水口大輔氏は今回のファクトリーミーティングについて「一般の方向けにこうした見学会を開催することは初の試みです。社員からの提案もあり開催に至りました。HKSの社員はクルマが大好きです。そうしたなかでHKSは自分たちでパーツを開発して、作って、販売してきました。今日はぜひとも、HKSのなかでちゃんとモノを作っています、ということを見ていただきたいと思っています。なので本日は日曜日（7月6日 ...