Tag - #category-theory
A Sketch of Synthetic Cryptography
2023-06-22
#category-theory
#cryptography
#foundations
(Basic) Universal Properties in Haskell
2020-12-31
#category-theory
#haskell
(Un)fold as (Co)algebra
2020-12-07
#algebra
#category-theory
#haskell
Categorical Graphs
2020-10-02
#category-theory
#graph-theory
#math
Recursive Types as Initial Algebras
2020-09-09
#category-theory
#haskell
#math
Encoding the Naturals
2020-08-30
#category-theory
#haskell
#math
Empty vs NonEmpty Groups
2020-08-17
#algebra
#category-theory
#math
Monomorphisms vs Epimorphisms
2020-06-18
#category-theory
#math
