Sep. 8th, 2022

timelets: (Default)
By a graphic we will mean any finite category each of whose endomorphism monoids satisfies the identity xyx = xy ; in particular, a graphic monoid is a graphic category with one object.
By an application of a graphic category we will mean any right action of it on finite sets (i.e. any contravariant finite-set- valued functor on it).
-- Lawvere, The Hegelian "Taco", 1989.


I think social networking satisfies this requirement, e.g. Make Use Make = Make Use (a user to Make a new user).

Profile

timelets: (Default)
timelets

January 2026

S M T W T F S
     1 2 3
4 5 67 8910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 9th, 2026 03:56 am
Powered by Dreamwidth Studios