dmm,
@dmm@mathstodon.xyz avatar

Just started writing up a few of my notes on introductory Category Theory. Not much here yet (it took me awhile to get Figure 1 to look right, and it's still not perfect).

In any event, the pdf, such as it is, is here: https://davidmeyer.github.io/qc/category_theory.pdf. The LaTeX source is here: https://www.overleaf.com/read/wnptmrwwfjgv#a36a79. As always, questions/comments/corrections/* greatly appreciated.

#categorytheory #math #maths

johncarlosbaez,
@johncarlosbaez@mathstodon.xyz avatar

@dmm - hey, I'm glad you're getting into this! Btw, it's not in the normal style of category theory to put a diagram in box like you have (that red box), or even treat them as "Figures": we treat them just like displayed equations.

dmm, (edited )
@dmm@mathstodon.xyz avatar

@johncarlosbaez Thanks!

Maybe this is better? Also makes the code much simpler!

Thanks again, -dmm

johncarlosbaez,
@johncarlosbaez@mathstodon.xyz avatar

@dmm - yes, now you look like a real category theorist! 👍

dmm,
@dmm@mathstodon.xyz avatar

@johncarlosbaez I updated my comment with the code that generates the image; much simpler now!

  • All
  • Subscribed
  • Moderated
  • Favorites
  • math
  • kavyap
  • thenastyranch
  • Durango
  • DreamBathrooms
  • ngwrru68w68
  • magazineikmin
  • cubers
  • Youngstown
  • mdbf
  • slotface
  • osvaldo12
  • GTA5RPClips
  • rosin
  • InstantRegret
  • provamag3
  • everett
  • tacticalgear
  • vwfavf
  • tester
  • normalnudes
  • modclub
  • ethstaker
  • khanakhh
  • cisconetworking
  • anitta
  • Leos
  • megavids
  • JUstTest
  • All magazines