Йыш ҡына күмәклектәр теорияһына ҡаршы ҡуйылған категориялар теорияһы саралары менән, инструменталь һәм дидактик ҡараштан сығып, Ловер һәм Тирни () 1970 йылда топостар теорияһын төҙөй, уның өйрәнеү объекты — элементар топос — күмәклектәр теорияһы аңлауында күмәклектәрҙең тәртибе менән оҡшашлыҡ принцибы буйынса төҙөлгән, ысынында күмәклектәр теорияһының бөтә варианттарын элементар топостар менән күрһәтеп булды.