自由對象
free object
Free object - Wikipedia
free object in nLab
自由とは何か | Mathlog
自由加群
(free module)
自由加群 - Wikipedia
Free module - Wikipedia
free module in nLab
Category:自由代数的構造 - Wikipedia
自由代数 - Wikipedia
自由群 (free group)
自由群 - Wikipedia
Free group - Wikipedia
free group
表示 (群)
で基本關係式が空
$ \braket{a,b,\dots|\varnothing}
自由
monad (圈)
(free monad)
依存性の注入 (DI)
aspect 指向 programming (AOP)
橫斷的關心事 (cross cutting consern)
Monad transformer - Wikipedia
tagless final
Scala の cake pattern
←→
餘自由對象