A poset can be thought of as a category with the property that each hom-set is either empty or singleton (technically that’s a preorder, but I’ll skip that for now). There’s also a category of posets. In my work lately, I’ve actually wanted to point at an object in a category and say “this oneContinueContinue reading “Posets inside of categories”
Tag Archives: internal algebra
Delooping, and internalization vs enrichment
Originally I was planning to write a post called something like “monoid facts everyone should know”, but I’m going easy on myself and giving you just one fact for now. If you ask someone for the definition of a monoid, there are two sorts of answers you’ll get: it’s a set equipped with an associativeContinueContinue reading “Delooping, and internalization vs enrichment”
Joe Moeller 