Skip to content

Philip Zucker personal blog

Computational Category Theory in Python III: Monoids, Groups, and Preorders

by philzook58 philipzucker.com published 2020-05-027 min read

Parts 1 and 2 are found here and here

Read on philipzucker.com → Discuss on HN (56) Archived copy

Points: 119
HN comments: 56
Submissions: 1
Cited by: 0 commenters

Math & Algorithms Software Engineering 2020

On Hacker News

Submitted	Title on HN	Points	Comments
May 3, 2020	Computational Category Theory in Python III: Monoids, Groups, and Preorders by EvgeniyZh	119	56

More from Philip Zucker

All 7 posts →

The C bounded model checker: criminally underused

2024209 points125 comments Software Engineering details

SQL, Homomorphisms and Constraint Satisfaction Problems

2024153 points19 comments Databases & Data details

Compiling with Constraints

2024126 points36 comments Software Engineering details

Linear Algebra of Types (2019)

2024115 points8 comments Math & Algorithms details

Translating My Z3 Tutorial to Coq

2021108 points18 comments Software Engineering details

Why I think Haskell is the best general purpose language as of June 22 2019

2019101 points99 comments Programming Languages details

Related posts from the same era

Mathematics for the Adventurous Self-Learner

neilwithdata.com20201,232 points210 commentscited by 6 details

What Gödel Discovered

Stepan Parunashvili20201,000 points319 comments details

Going Critical

Kevin Simler2019989 points81 commentscited by 8 details

Conterintuitive facts in mathematics, CS, and physics

Axis of Ordinary2021936 points323 comments details

Calculus for Beginners and Artists (2003)

Daniel Kleitman2019836 points104 comments details

I found two identical packs of Skittles among 468 packs

Possibly Wrong2019826 points207 comments details