Handbook of Categorical Algebra 2: Categories and Structures, Volume 2 |
Contents
Regular categories | 89 |
Algebraic theories | 122 |
Monads | 186 |
Copyright | |
5 other sections not shown
Common terms and phrases
a-filtered colimits a-presentable abelian category abelian groups adjunction algebraic theory arrow axiom bijections canonical cartesian functor cartesian morphism category of sets choose cocomplete cocone coequalizer Coker cokernel colim commutative compact composite cone consider diagram construction coproducts corresponding D₁ define definition elements equivalence relation exact sequence exists fibration fibration F fibre filtered colimits finite limits forgetful functor full subcategory functor F Hausdorff implies isomorphism kernel pair left adjoint Let F Modr Mody monad monoidal closed category monomorphism morphism f natural transformation notation observe phism pointwise preserves finite Proof Proposition pullback R-module regular cardinal regular category regular epimorphism remains to prove representable functors right adjoint small category strictly less structure subobject subset suffices to prove symmetric monoidal closed T-algebras T-model theorem topological unique morphism V-category V-functor V-natural volume yields Yoneda lemma zero object