"Wholesome" would be a derivation of set theory morality. What are the equivalents/alternatives in type theory and category theory?

Posters: RomeoStevens76. RomeoStevens76

2 likes recorded by the source corpus.