timelets: (Default)
[personal profile] timelets
Reading McLane & Moerdijk helped me understand that in CT objects don't matter. In most introductory CT books their authors go out of their way to say that CT can handle many useful objects, including sets, etc. In ML&M they cut through the chase in their Categorical Preliminaries



It's clear that object C works in the axioms as a placeholder, it is used briefly to denote any kind of object. What really matters is the structure of functions and rules to construct them.

Date: 2017-07-11 06:57 pm (UTC)
bamalip: (Default)
From: [personal profile] bamalip
В некотором смысле да, но это одновременно ловушка. Мы не можем совсем забыть об объектах, они определяют корректность композиции стрелочек.

Profile

timelets: (Default)
timelets

September 2017

S M T W T F S
     1 2
3 4 5 6 7 8 9
10 11 1213 141516
1718192021 2223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 08:42 pm
Powered by Dreamwidth Studios