category-theory

category-theory

Why is sum-type a disjunction in the Curry-Howard correspondence?

Meaning of ⊗ applied to morphisms

Equivalence relations are to Groups, as partial order relations are to...?

Is unique morphism `m` which maps "best" product type to "suboptimal" product type truly unique?

What does it mean for a value to "have a functor"?

Introduction to Category Theory without Haskel, Scala or F# [closed]

page:1 of 1 main page

Categories

oauth2-playground

progressive-web-apps

actions-on-google

text-processing

roslyn-code-analysis

oracle-analytics-cloud

laravel-backpack

android-contentresolver

bittorrent-sync

dynamics-crm-365

microsoft-metro

google-sites-2016

google-smartlockpasswords

postman-testcase

rxjs-observables

connection-reset

android-fileprovider

bootstrap-switch

google-cloud-repository

spark-framework

virtual-destructor

calendarextender

Resources