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

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415 161718
1920 2122232425
262728293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 23rd, 2025 02:15 am
Powered by Dreamwidth Studios