Jun. 29th, 2018

juan_gandhi: (Default)
Just tried to figure out, wtf, for the notion of functions, their implementation in sets is the model of a theory... which theory?

So, what do we want from functions? Identity, composition, domain, codomain, right.

Category is a theory of functions. Any specific category is a model of this theory. No? 

If we called category theory, instead, "function theory", probably people would be less scared. Even less if arrows/morphisms were called functions.

I tried once. Scared the reviewers of the book where I tried to use it. Well...

juan_gandhi: (Default)
Я уже не первый раз замечаю, что левые и правые ожидают от левых, что те будут вести себя как благородный профессор на кафедре, а от правых - что это какой-то техасский реднек с ружом и барбекью и с бутылкой бадлайта в руке, матерится и угрожает физически.

И каждый раз удивляются, или наоборот, не удивляются.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

November 2025

S M T W T F S
       1
23456 7 8
9 1011 12 1314 15
16171819 20 2122
23 242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Nov. 24th, 2025 12:33 pm
Powered by Dreamwidth Studios