Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
eastWestMath
on April 27, 2017
|
parent
|
context
|
favorite
| on:
Category Theory, Syntactically (2016)
I think you mean that A is an object of your category...
harveywi
on April 27, 2017
|
next
[–]
Unless the category is, e.g., the category of small categories.
vorotato
on April 27, 2017
|
parent
|
next
[–]
Yeah I thought I could get away with omitting a term but it's too specific and really fails to catch how broad categories are.
eastWestMath
on April 28, 2017
|
parent
|
prev
|
next
[–]
They're still objects in that category...
vorotato
on April 27, 2017
|
prev
[–]
yeah that's correct, otherwise my arrows would be better described as functors, whoobs I'll go fix that.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
