Searching for Sets : 2 results found | RSS Feed for this search

18.S996 Category Theory for Scientists (MIT) 18.S996 Category Theory for Scientists (MIT)

Description

The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common scientific models. The power of the language will be tested by its ability to penetrate into taken-for-granted ideas, either by exposing existing weaknesses or flaws in our understanding, or by highlighting hidden commonalities across scientific fields. The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common scientific models. The power of the language will be tested by its ability to penetrate into taken-for-granted ideas, either by exposing existing weaknesses or flaws in our understanding, or by highlighting hidden commonalities across scientific fields.Subjects

Sets | Sets | functions | functions | commutative diagrams | commutative diagrams | products | products | coproducts | coproducts | finite limits | finite limits | monoids | monoids | groups | groups | graphs | graphs | orders | orders | schemas | schemas | instances | instances | databases | databases | categories | categories | functors | functors | mathematics | mathematics | natural transformations | natural transformations | limits | limits | colimits | colimits | adjoint functors | adjoint functors | monads | monads | operads | operads | isomorphism | isomorphism | molecular dynamics | molecular dynamics | olog | ologLicense

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htmSite sourced from

http://ocw.mit.edu/rss/all/mit-allcourses.xmlAttribution

Click to get HTML | Click to get attribution | Click to get URLAll metadata

See all metadata18.S996 Category Theory for Scientists (MIT)

Description

The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common scientific models. The power of the language will be tested by its ability to penetrate into taken-for-granted ideas, either by exposing existing weaknesses or flaws in our understanding, or by highlighting hidden commonalities across scientific fields.Subjects

Sets | functions | commutative diagrams | products | coproducts | finite limits | monoids | groups | graphs | orders | schemas | instances | databases | categories | functors | mathematics | natural transformations | limits | colimits | adjoint functors | monads | operads | isomorphism | molecular dynamics | ologLicense

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htmSite sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xmlAttribution

Click to get HTML | Click to get attribution | Click to get URLAll metadata

See all metadata