Octocurious

❯

Free Forgetful Adjunction

Free-Forgetful Adjunction

21 Mar 20261 min read

Forgetful Functor $⊣$ Free Functor

Graph View

Backlinks

Adjunction

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community