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

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 242526272829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 06:33 am
Powered by Dreamwidth Studios