🗄️
math-debrief
CtrlK
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentals
  • 200 Set and Set theory
  • Relations
  • Order theory
  • Function Theory
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:
  • Logic
  • 510 Lambda Calculi
  • Type theory
  • Abstract Algebra
  • Category Theory
    • CT GLOSSARY
    • Category Theory: OUTLINE
    • CT SUMMARY
    • A First Introduction to Categories (2009)
    • Category Theory Fundamentals
    • Key concepts
    • Categorical constructions
    • Types of categories
    • Types of Functors
      • Adjoint functor
      • relation-arity
      • Endofunctor
      • Faithful functor
      • Forgetful functor
      • Hom functor
      • Identity functor
      • Inverse functor
      • Monad
      • Powerset functor
    • Types of Morphisms
    • 20-advanced-concepts
    • Category Theory
    • Category Theory :: Contents
  • Number Theory
  • Theory of computation
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
Powered by GitBook
On this page

Was this helpful?

  1. Category Theory

Types of Functors

Adjoint functorrelation-arityEndofunctorFaithful functorForgetful functorHom functorIdentity functorInverse functorMonadPowerset functor
PreviousSubcategoryNextAdjoint functor

Last updated 4 years ago

Was this helpful?