Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures
Historical highlights?
logicmatters.netยท15h
Cactus Language โข Stylistics 4
inquiryintoinquiry.comยท11h
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.orgยท1d
Book Notes: The Dark Art of Linear Algebra by Seth Braver โ Chapter 1 Review
ruslanspivak.comยท12h
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.orgยท4d
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.comยท9h
Beyond Argument: The Creative Craft of Philosophy Writing (guest post)
dailynous.comยท15h
Complex knots can actually be easier to untie than simple ones
newscientist.comยท15h
My Experience with the Scott Logic Graduate Training
blog.scottlogic.comยท1d
Researchers create stable chiral molecules with novel stereogenic centers for future medicines
phys.orgยท15h
Extensions and Shadows (6)
sites.psu.eduยท1d
A new look at twin reduction
cameroncounts.wordpress.comยท1d
Bibliographical cornucopia for linguists, part 1
languagelog.ldc.upenn.eduยท1d
Loading...Loading more...