Tag - #category-theory
A Sketch of Synthetic Cryptography
2023-06-22
#category-theory
#cryptography
#foundations
Discrete, Indiscrete: Free, CoFree
2020-12-31
#algebra
#category-theory
#topology
(Basic) Universal Properties in Haskell
2020-12-31
#category-theory
#haskell
Universal Properties and Adjunctions
2020-12-27
#algebra
#category-theory
#math
(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
