Item:Q1449: Difference between revisions
Created a new Item: quasitopos, finitely complete, finitely cocomplete, locally cartesian closed category with a classifier of strong monomorphisms |
(No difference)
|
Created a new Item: quasitopos, finitely complete, finitely cocomplete, locally cartesian closed category with a classifier of strong monomorphisms |
(No difference)
|