1 | Learns Category, Monomorphism, Epimorphism, Initial and Terminal Object, Functor, Natural Mappings, Functor Category, Limit at Category, Equalizer, Co-equalizer. |
2 | Recognizes Limit, Co-limit, Pullback, Pushout, Adverse and Direct Limits, Limit at Functor Category, Universal Mappings, Adjoint Functor. |