epub @ SUB HH

18Cxx Categories and theories ( 0 Dok. )

• 18C05 Equational categories ( 0 Dok. )
• 18C10 Theories (e.g. algebraic theories), structure, and semantics ( 0 Dok. )
• 18C15 Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples ( 0 Dok. )
• 18C20 Algebras and Kleisli categories associated with monads ( 0 Dok. )
• 18C30 Sketches and generalizations ( 0 Dok. )
• 18C35 Accessible and locally presentable categories ( 0 Dok. )
• 18C50 Categorical semantics of formal languages ( 0 Dok. )
• 18C99 None of the above, but in this section ( 0 Dok. )