Octocurious

Home

❯

Set (Category)

Set (Category)

22 Mar 20261 min read

This is a Category of Sets:

  • objects are Sets.
  • morphisms are mappings between sets.

Graph View

Backlinks

  • Category Theory
  • Coequalizer
  • Element (Category Theory)
  • Empty Type
  • Epimorphism
  • Equalizer
  • Isomorphism
  • Locally-Small Category
  • Monic
  • There is an Equivalence Set to Ord
  • Transition System

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community