Handbook of Categorical Algebra 2: Categories and Structures, Volume 2 |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Regular categories | 89 |
Algebraic theories | 122 |
Monads | 186 |
Copyright | |
5 other sections not shown
Common terms and phrases
a-filtered abelian category additive adjunction algebraic theory already Applying arrow axiom bijections canonical cartesian choose closed category coequalizer Coker colim colimit commutative compact complete composite conclude cone consider construction continuous Conversely corresponding define definition diagram elements equalizer equivalence relation equivalent exact sequence example exists fact factorization faithful fibration fibre filtered Finally finite finite limits given giving holds identity immediately implies isomorphism kernel pair left adjoint lemma limits locally mapping means models Modt monad monomorphism Moreover morphism natural transformation notation notion object observe obvious operation particular phism presentable preserves Proof Proposition prove pullback reflects regular cardinal regular epimorphism relation remains ring satisfies small category spaces structure subcategory subset suffices suppose symmetric monoidal closed T-algebras theorem theory topological unique unit universal volume write yields zero