Item:Q1449: Difference between revisions

Created a new Item: quasitopos, finitely complete, finitely cocomplete, locally cartesian closed category with a classifier of strong monomorphisms
 
 
Property / subclass of
 
Property / subclass of: cartesian closed category / rank
 
Normal rank