Concepts
Empty type
—monthly views
0copies owned
—player watchlists
Concepts
Empty type
In type theory, a type with no terms
uncommon · Q115801140
Related cards · projective object
See all 7
Concepts
Projective module
—monthly views
0copies owned
—player watchlists
Concepts
Free module
—monthly views
0copies owned
—player watchlists
Concepts
Bottom type
—monthly views
0copies owned
—player watchlists
Concepts
Initial algebra
—monthly views
0copies owned
—player watchlists
Concepts
Zero object (algebra)
—monthly views
0copies owned
—player watchlists
Concepts
Invertible module
—monthly views
0copies owned
—player watchlists