search

ohnosequences / stuff

Useful stuff.
GNU Affero General Public License v3.0
1 stars 0 forks source link

Better names for type members #22

Closed eparejatobes closed 8 years ago

laughedelic commented 8 years ago

Cat -> Category

why so long? I was going to suggest renaming Objects to Obj (or at least to use singular form)

eparejatobes commented 8 years ago

I've become a bit hostile to shortenings. This way you don't need to think much when using it somewhere else.

laughedelic commented 8 years ago

Ok. But what about more consistency in singular vs. plural?

eparejatobes commented 8 years ago

@laughedelic where?

laughedelic commented 8 years ago

What I think is a bit confusing with plurals is when you say X <: C#Objects, it reads as if X was a set of objects, not an object. With (co)products it's probably different, but then why some structures became "categories" and others something else?

eparejatobes commented 8 years ago

Well Objects is plural because it acts as a 2-type in a way: subtypes of that type are objects. About (co)products I think that (co)cartesian monoidal category is a bit too much.

laughedelic commented 8 years ago

it acts as a 2-type in a way: subtypes of that type are objects

so why does it have to be plural? I understand what you're saying, but I don't see the logic

laughedelic commented 8 years ago

merging anyway