From 474d078c8e607f4c04cae88bf5deaae57744a42c Mon Sep 17 00:00:00 2001 From: lemastero Date: Thu, 5 Dec 2024 02:46:37 +0100 Subject: [PATCH] Fix broken links and drop non-existing resources 2 --- AbstractAlgebra.md | 2 +- BasicAbstractions.md | 4 ++-- ComputationalTrinitarianism.md | 9 +++------ Contravariant.md | 11 +++++------ HigherKinded.md | 8 ++++---- OtherEncodingsOfCT.md | 2 +- Profunctors.md | 2 +- notes/Monoidal Categories Notes.MD | 2 +- .../higher/monoidal/MonoidalCategory.scala | 1 - 9 files changed, 18 insertions(+), 23 deletions(-) diff --git a/AbstractAlgebra.md b/AbstractAlgebra.md index e868d671..14cb17e8 100644 --- a/AbstractAlgebra.md +++ b/AbstractAlgebra.md @@ -64,7 +64,7 @@ def combineAllOption(as: TraversableOnce[A]): Option[A] * Examples how to define alternative Semigroup instances [for Option, Int with *](https://github.com/lemastero/learn_scala_cats/blob/master/src/main/scala/monoid/AlternativeMonoidInstances.scala) and [usage](https://github.com/lemastero/learn_scala_cats/blob/master/src/test/scala/monoid/AlternativeMonoidInstancesSpec.scala). Examples for usage of derived methods and combine [(src)](https://github.com/lemastero/learn_scala_cats/blob/master/src/test/scala/semigroup/SemigroupExamplesSpec.scala) -* Implementations: [Cats](https://github.com/typelevel/cats/blob/master/kernel/src/main/scala/cats/kernel/Semigroup.scala) [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Semigroup.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/semigroup.scala), [twitter/algebird](https://github.com/twitter/algebird/blob/master/algebird-core/src/main/scala/com/twitter/algebird/Semigroup.scala), [zio-prelude](https://github.com/zio/zio-prelude/blob/master/src/main/scala/zio/prelude/Associative.scala), [Haskell](http://hackage.haskell.org/package/base/docs/Data-Semigroup.html), [Racket algebraic](https://docs.racket-lang.org/algebraic/class_base.html#%28part._class~3abase~3asemigroup%29), [Java](https://github.com/functionaljava/functionaljava/blob/series/5.x/core/src/main/java/fj/Semigroup.java) +* Implementations: [Cats](https://github.com/typelevel/cats/blob/master/kernel/src/main/scala/cats/kernel/Semigroup.scala) [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Semigroup.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/semigroup.scala), [twitter/algebird](https://github.com/twitter/algebird/blob/master/algebird-core/src/main/scala/com/twitter/algebird/Semigroup.scala), [zio-prelude](https://github.com/zio/zio-prelude/blob/series/2.x/core/shared/src/main/scala/zio/prelude/Associative.scala), [Haskell](http://hackage.haskell.org/package/base/docs/Data-Semigroup.html), [Racket algebraic](https://docs.racket-lang.org/algebraic/class_base.html#%28part._class~3abase~3asemigroup%29), [Java](https://github.com/functionaljava/functionaljava/blob/series/5.x/core/src/main/java/fj/Semigroup.java) * Resources: * herding cats - Semigroup [(blog post)](http://eed3si9n.com/herding-cats/Semigroup.html) diff --git a/BasicAbstractions.md b/BasicAbstractions.md index ba75ca7e..b9b1f2c9 100644 --- a/BasicAbstractions.md +++ b/BasicAbstractions.md @@ -23,7 +23,7 @@ trait Functor[F[_]] { ``` * Functor Implementations: - Scala: [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Functor.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/functor.scala), [Cats](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Functor.scala), [zio-prelude](https://github.com/zio/zio-prelude/blob/master/src/main/scala/zio/prelude/Covariant.scala), + Scala: [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Functor.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/functor.scala), [Cats](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Functor.scala), [zio-prelude](https://github.com/zio/zio-prelude/blob/series/2.x/core/shared/src/main/scala/zio/prelude/Covariant.scala), [Idris](https://github.com/idris-lang/Idris-dev/blob/master/libs/prelude/Prelude/Functor.idr), [Purescript](https://github.com/purescript/purescript-prelude/blob/master/src/Data/Functor.purs), [Haskell base](http://hackage.haskell.org/package/base/docs/Data-Functor.html), [Haskell data-category](http://hackage.haskell.org/package/data-category/docs/Data-Category-Functor.html#g:2), [Racket algebraic](https://docs.racket-lang.org/algebraic/class_base.html#%28part._class~3abase~3afunctor%29), [Racket functional](https://docs.racket-lang.org/functional/interfaces.html#%28part._functors%29), [nLab](https://ncatlab.org/nlab/show/functor), [Java Mojang/DataFixerUpper](https://github.com/Mojang/DataFixerUpper/blob/master/src/main/java/com/mojang/datafixers/kinds/Functor.java) * Encoding close to mathematics: [vpatryshev/Categories](https://github.com/vpatryshev/Categories/blob/master/src/main/scala/math/cat/Functor.scala) * Formalization in proof assistants: [statebox/idris-ct](https://github.com/statebox/idris-ct/blob/master/src/Basic/Functor.lidr), [UniMath](https://github.com/UniMath/UniMath/blob/master/UniMath/CategoryTheory/Core/Functors.v), [HoTT Book](https://github.com/HoTT/HoTT/blob/master/theories/Categories/Functor/Core.v), [cubicaltt](https://github.com/mortberg/cubicaltt/blob/master/examples/category.ctt) @@ -310,7 +310,7 @@ trait Monad[F[_]] extends Apply[F] { ``` * Implementations: - [zio-prelude AssociativeFlatten](https://github.com/zio/zio-prelude/blob/master/src/main/scala/zio/prelude/AssociativeFlatten.scala) + [zio-prelude AssociativeFlatten](https://github.com/zio/zio-prelude/blob/series/2.x/core/shared/src/main/scala/zio/prelude/AssociativeFlatten.scala) [Cats FlatMap](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/FlatMap.scala), [Scalaz 7 Bind](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Bind.scala), [Scalaz 8 Bind](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/bind.scala) Monad: [Cats](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Monad.scala), [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Monad.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/monad.scala), [Haskell](https://hackage.haskell.org/package/base-4.16.0.0/docs/Control-Monad.html#t:Monad), [Idris](https://github.com/idris-lang/Idris-dev/blob/master/libs/prelude/Prelude/Monad.idr), [Purescript](https://pursuit.purescript.org/packages/purescript-prelude/docs/Control.Monad), [Racket algebraic](https://docs.racket-lang.org/algebraic/class_base.html#%28part._class~3abase~3amonad%29), [Racket functional](https://docs.racket-lang.org/functional/interfaces.html#%28part._monads%29) diff --git a/ComputationalTrinitarianism.md b/ComputationalTrinitarianism.md index 5cf34999..d08a3adc 100644 --- a/ComputationalTrinitarianism.md +++ b/ComputationalTrinitarianism.md @@ -38,7 +38,6 @@ * Basic Bicategories - Tom Leinster [(arXiv)](https://arxiv.org/abs/math/9810017) * The periodic table of n-categories - Eugenia Cheng [(video)](https://www.youtube.com/watch?v=lJGUMlgCxz8) * Associative n-categories - Christoph Dorn [(arXiv:1812.10586)](https://arxiv.org/pdf/1812.10586.pdf) -* Strictly associative and unital higher category theory - Jamie Vicary [(slides)](https://www.cs.bham.ac.uk/~axj/files/mgs-xmas-2018-Jamie.pdf) * [kerodon.net](https://kerodon.net/) Part I - Higher category theory * YouTube playlists: - [2-Categories Bicategories](https://www.youtube.com/playlist?list=PLmB9zOCKwySGiQu19ScW98EEduJswr1dk) @@ -250,7 +249,7 @@ SCALING DOT TO SCALA - SOUNDNESS - Martin Odersky [(blog post)](https://www.scal * Fast Computations on Ordered Nominal Sets - David Venhoek, Joshua Moerman, Jurriaan Rot [(arXiv:1902.08414)](https://arxiv.org/abs/0805.0845) * Automata theory in nominal sets - Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota [(arXiv:1402.0897)](https://arxiv.org/abs/1402.0897) * Algebraic Theories over Nominal Sets - Alexander Kurz, Daniela Petrişan, Jiří Velebil [(arXiv:1006.3027)](https://arxiv.org/abs/1006.3027) -* Atompress [blog](http://atoms.mimuw.edu.pl/), [book](http://atoms.mimuw.edu.pl/wp-content/uploads/2014/03/main.pdf), [WIP book](https://www.mimuw.edu.pl/~bojan/paper/atom-book) +* [Atom book](https://www.mimuw.edu.pl/~bojan/paper/atom-book) * Nominal Sets and Their Applications [course - lectures, exercises](https://www.cl.cam.ac.uk/teaching/1213/L23/materials.html) * FoPSS 2019 - Nominal Techniques [(slides from talks)](https://www.mimuw.edu.pl/~fopss19/programme.html) * [SPLV 2020](http://www.macs.hw.ac.uk/splv/splv20/) - Maribel Fernandez - Nominal rewriting and unification, Jamie Gabbay - Nominal datatypes @@ -276,7 +275,7 @@ SCALING DOT TO SCALA - SOUNDNESS - Martin Odersky [(blog post)](https://www.scal ## [Categorical Algebra](https://ncatlab.org/nlab/show/categorical+algebra) * Higher Algebra - Jacob Lurie [(pdf)](https://www.math.ias.edu/~lurie/papers/HA.pdf) -* [Algebraic Operads - Jean-Louis Loday and Bruno Vallette](http://irma.math.unistra.fr/~loday/AO%28JLL-BV%29.html) [(pdf v 0.99)](http://irma.math.unistra.fr/~loday/PAPERS/LodayVallette.pdf) +* [Algebraic Operads - Jean-Louis Loday and Bruno Vallette](https://www.math.univ-paris13.fr/~vallette/Operads.pdf) * Foundations of Algebraic Theories and Higher Dimensional Categories - Soichiro Fujii [(arxiv:1903.07030)](https://arxiv.org/abs/1903.07030) * A unified framework for notions of algebraic theory - Soichiro Fujii [(paper)](https://arxiv.org/abs/1904.08541) * Bialgebraic Semantics for String Diagrams - Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi [(arXiv:1906.01519)](https://arxiv.org/abs/1906.01519) @@ -297,10 +296,9 @@ SCALING DOT TO SCALA - SOUNDNESS - Martin Odersky [(blog post)](https://www.scal * Nikolai Kudasov - Building a Telegram Bot in Haskell - λC 2018 [(video playlist)](https://www.youtube.com/watch?v=dfTTgdlsSzo&list=PL7DZ7q3nEWhw0esa7oaAYw3OHqG0Pyuu6&index=2) * Alejandro Serrano Mena - A Hands on Tutorial to Generic Programming in Haskell [(video)](https://www.youtube.com/watch?v=R3HWy1NCXMs&list=PL7DZ7q3nEWhygKSFNI4MlTL-draJzhRXb&index=2) * [FP Complete tutorial for libraries](https://haskell.fpcomplete.com/learn#libraries) -* CIS 552: Advanced Programming (Fall 2017) - Stephanie Weirich [(lecture notes)](https://www.seas.upenn.edu/~cis552/current/schedule.html) [(assignments)](https://www.seas.upenn.edu/~cis552/current/homework.html) * CIS 194: Introduction to Haskell (Spring 2013) - Brent Yorgey [(course)](https://www.seas.upenn.edu/~cis194/spring13/lectures.html) * [Haskell ITMO course at CTD](https://github.com/jagajaga/FP-Course-ITMO) -* Haskell from Scratch - [Chris Forno](http://jekor.com/) [@jekor](https://twitter.com/jekor) [(video playlist)](https://www.youtube.com/playlist?list=PLxj9UAX4Em-Ij4TKwKvo-SLp-Zbv-hB4B) +* Haskell from Scratch - Chris Forno [(video playlist)](https://www.youtube.com/playlist?list=PLxj9UAX4Em-Ij4TKwKvo-SLp-Zbv-hB4B) ## Haskell [user groups](https://wiki.haskell.org/User_groups), [commmunities](https://wiki.haskell.org/User_groups) videos @@ -321,7 +319,6 @@ SCALING DOT TO SCALA - SOUNDNESS - Martin Odersky [(blog post)](https://www.scal * [wiki.haskell.org Research papers](https://wiki.haskell.org/Research_papers) * [Haskell papers - Ben Lynn](https://crypto.stanford.edu/~blynn/haskell/papers.html) * [A List of Foundational Haskell Papers - Emily Pillmore](https://github.com/cohomolo-gy/haskell-resources) -* [A Haskell Reading List - Stephen Diehl](http://www.stephendiehl.com/posts/essential_haskell.html) * [797 Haskell Papers](https://mitchellwrosen.github.io/haskell-papers/) ## Podcasts diff --git a/Contravariant.md b/Contravariant.md index e637af65..a1026e07 100644 --- a/Contravariant.md +++ b/Contravariant.md @@ -80,13 +80,12 @@ trait Contravariant[F[_]] { } ``` -* Implementations [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Contravariant.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/contravariant.scala), [Cats](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Contravariant.scala), [zio-prelude](https://github.com/zio/zio-prelude/blob/master/src/main/scala/zio/prelude/Contravariant.scala) -* [Haskell](http://hackage.haskell.org/package/contravariant/docs/Data-Functor-Contravariant.html), [Purescript](https://pursuit.purescript.org/packages/purescript-contravariant/docs/Data.Functor.Contravariant), [UniMath](https://github.com/UniMath/UniMath/blob/master/UniMath/CategoryTheory/Presheaf.v), [nLab](https://ncatlab.org/nlab/show/contravariant+functor) - [Haskell](https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base-4.13.0.0/Data-Functor-Contravariant.html), [Purescript](https://pursuit.purescript.org/packages/purescript-contravariant/docs/Data.Functor.Contravariant) +* Implementations [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Contravariant.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/contravariant.scala), [Cats](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Contravariant.scala), [zio-prelude](https://github.com/zio/zio-prelude/blob/series/2.x/core/shared/src/main/scala/zio/prelude/Contravariant.scala) +* [Haskell](https://hackage.haskell.org/package/base/docs/Data-Functor-Contravariant.html), [Purescript](https://pursuit.purescript.org/packages/purescript-contravariant/docs/Data.Functor.Contravariant), [UniMath](https://github.com/UniMath/UniMath/blob/master/UniMath/CategoryTheory/Presheaf.v), [nLab](https://ncatlab.org/nlab/show/contravariant+functor) Proofs [UniMath](https://github.com/UniMath/UniMath/blob/master/UniMath/CategoryTheory/Presheaf.v) Category Theory [nLab](https://ncatlab.org/nlab/show/contravariant+functor) -* Contravariant laws ([Cats](https://github.com/typelevel/cats/blob/master/laws/src/main/scala/cats/laws/ContravariantLaws.scala), [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Contravariant.scala#L59-L68), [Haskell](http://hackage.haskell.org/package/contravariant/docs/Data-Functor-Contravariant.html)): +* Contravariant laws ([Cats](https://github.com/typelevel/cats/blob/master/laws/src/main/scala/cats/laws/ContravariantLaws.scala), [Scalaz 7](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Contravariant.scala#L59-L68), [Haskell](https://hackage.haskell.org/package/base/docs/Data-Functor-Contravariant.html)): ```mermaid flowchart RL @@ -196,7 +195,7 @@ def deriving3[A1, A2, A3, Z](f: Z => (A1, A2, A3))(implicit a1: F[A1], a2: F[A2] * Resources * (Haskell) Contravariant Functors: The Other Side of the Coin - George Wilson [(video)](https://www.youtube.com/watch?v=IJ_bVVsQhvc) - * (Haskell, Category Theory) Discrimination is Wrong: Improving Productivity - Edward Kmett [(video)](https://www.youtube.com/watch?v=cB8DapKQz-I) [slides pdf](http://yowconference.com.au/slides/yowlambdajam2015/Kmett-DiscriminationIsWrong.pdf) + * (Haskell, Category Theory) Discrimination is Wrong: Improving Productivity - Edward Kmett [(video)](https://www.youtube.com/watch?v=cB8DapKQz-I) ### Divisible (Contravariant Applicative) @@ -239,7 +238,7 @@ def leftIdentity[A](fa: F[A]): Boolean = { * Resources * [Cats PR #2034](https://github.com/typelevel/cats/pull/2034) explaining design choices different that in Haskell, Scalaz * (Haskell) Contravariant Functors: The Other Side of the Coin - George Wilson [(video)](https://www.youtube.com/watch?v=IJ_bVVsQhvc) - * (Haskell, Category Theory) Discrimination is Wrong: Improving Productivity - Edward Kmett [(video)](https://www.youtube.com/watch?v=cB8DapKQz-I) [slides pdf](http://yowconference.com.au/slides/yowlambdajam2015/Kmett-DiscriminationIsWrong.pdf) + * (Haskell, Category Theory) Discrimination is Wrong: Improving Productivity - Edward Kmett [(video)](https://www.youtube.com/watch?v=cB8DapKQz-I) ## Contravariant Adjuctions & Representable diff --git a/HigherKinded.md b/HigherKinded.md index e2cb6100..2b91a8c5 100644 --- a/HigherKinded.md +++ b/HigherKinded.md @@ -68,10 +68,10 @@ trait FFunctor[FF[_]] { ### Monad morphisms * Resources - * (Haskell) [monad morphisms](http://hackage.haskell.org/package/mmorph/docs/Control-Monad-Morph.html) - * (Haskell) [MFunctor](http://hackage.haskell.org/package/mmorph/docs/Control-Monad-Morph.html#t:MFunctor) [used to be in pipes](https://hackage.haskell.org/package/pipes-3.1.0/docs/Control-MFunctor.html) + * (Haskell) [monad morphisms](https://hackage.haskell.org/package/mmorph/docs/Control-Monad-Morph.html) + * (Haskell) [MFunctor](https://hackage.haskell.org/package/mmorph/docs/Control-Monad-Morph.html#t:MFunctor) [used to be in pipes](https://hackage.haskell.org/package/pipes-3.1.0/docs/Control-MFunctor.html) * (Haskell) Q: What is not an MFunctor? [reddit](https://www.reddit.com/r/haskell/comments/2c87m8/q_what_is_not_an_mfunctor/) - * (Haskell) [MMonad](http://hackage.haskell.org/package/mmorph-1.1.2/docs/Control-Monad-Morph.html#t:MMonad) + * (Haskell) [MMonad](https://hackage.haskell.org/package/mmorph/docs/Control-Monad-Morph.html#t:MMonad) * (Haskell) [Github issue with code with MCoyoneda](https://github.com/Gabriel439/Haskell-MMorph-Library/issues/33) * (Haskell) [Tutorial - Gabriel Gonzalez](http://hackage.haskell.org/package/mmorp-1.1.2/docs/Control-Monad-Morph.html#g:3) * (Haskell) mmorph-1.0.0: Monad morphisms - Gabriel Gonzalez [blog post](http://www.haskellforall.com/2013/03/mmorph-100-monad-morphisms.html) @@ -156,7 +156,7 @@ In category of Profunctors with Profunctor Product as Bifunctor the Monoid Objec * Resources * lemastero/MonoidalCategories.scala [(Gist)](https://gist.github.com/lemastero/cb50818fc40361ffb309701cffa651c9) - * (Haskell, Category Theory) Discrimination is Wrong: Improving Productivity - Edward Kmett [(video)](https://www.youtube.com/watch?v=cB8DapKQz-I&feature=youtu.be&t=373) [slides pdf](http://yowconference.com.au/slides/yowlambdajam2015/Kmett-DiscriminationIsWrong.pdf) + * (Haskell, Category Theory) Discrimination is Wrong: Improving Productivity - Edward Kmett [(video)](https://www.youtube.com/watch?v=cB8DapKQz-I&feature=youtu.be&t=373) * (Haskell, Category Theory) Notions of Computation as Monoids (extended version) - Exequiel Rivas, Mauro Jaskelioff [(paper)](http://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids_ext.pdf) * (Haskell) Monoidal Category [data-category/Data.Category.Monoidal](https://hackage.haskell.org/package/data-category/docs/Data-Category-Monoidal.html), [categories/Control.Category.Monoidal](https://hackage.haskell.org/package/categories/docs/Control-Category-Monoidal.html) * (Haskell) [categories Cartesian Monoidal Category](https://hackage.haskell.org/package/categories/docs/Control-Category-Cartesian.html#t:Cartesian) diff --git a/OtherEncodingsOfCT.md b/OtherEncodingsOfCT.md index 31679c77..037dedda 100644 --- a/OtherEncodingsOfCT.md +++ b/OtherEncodingsOfCT.md @@ -69,4 +69,4 @@ * [Eilenberg–Moore](http://hackage.haskell.org/package/data-category/docs/Data-Category-Dialg.html#t:eilenbergMooreAdj) # Encoding of Category Theory by Stephen Dhal -* Monads Made Difficult - Stephen Diehl [(blog post)](http://www.stephendiehl.com/posts/monads.html) Category as first class concept, Functors between them, up to Monads, Kleisli Category, IO and List Monad +* Monads Made Difficult - Stephen Diehl [(blog post)](https://www.stephendiehl.com/posts/monads/) Category as first class concept, Functors between them, up to Monads, Kleisli Category, IO and List Monad diff --git a/Profunctors.md b/Profunctors.md index a0353285..7f625395 100644 --- a/Profunctors.md +++ b/Profunctors.md @@ -540,7 +540,7 @@ trait Category[F[_, _]] { that satisfy certain conditions. * Implementations: - [Cats Compose](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/arrow/Compose.scala), [Scalaz 8 Semicategory](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/semicategory.scala), [zio-prelude AssociativeCompose](https://github.com/zio/zio-prelude/blob/master/src/main/scala/zio/prelude/AssociativeCompose.scala) + [Cats Compose](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/arrow/Compose.scala), [Scalaz 8 Semicategory](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/semicategory.scala), [zio-prelude AssociativeCompose](https://github.com/zio/zio-prelude/blob/series/2.x/core/shared/src/main/scala/zio/prelude/AssociativeCompose.scala) Category: [Cats](https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/arrow/Category.scala), [Scalaz 8](https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/tc/category.scala), [Haskell](https://hackage.haskell.org/package/base/docs/Control-Category.html), [nlab](https://ncatlab.org/nlab/show/category) * Encoding close to mathematics: [vpatryshev/Categories](https://github.com/vpatryshev/Categories/blob/master/src/main/scala/math/cat/Category.scala) * Formalization in proof assistants: [statebox/idris-ct](https://github.com/statebox/idris-ct/blob/master/src/Basic/Category.lidr), [agda-categories](https://github.com/agda/agda-categories/blob/master/Categories/Category/Core.agda), [cubicaltt](https://github.com/mortberg/cubicaltt/blob/master/examples/category.ctt) diff --git a/notes/Monoidal Categories Notes.MD b/notes/Monoidal Categories Notes.MD index db4dcd59..7bdd0bd5 100644 --- a/notes/Monoidal Categories Notes.MD +++ b/notes/Monoidal Categories Notes.MD @@ -399,7 +399,7 @@ TODO # References * Some Definitions Everyone Should Know - John C. Baez [(pdf)](http://math.ucr.edu/home/baez/qg-fall2004/definitions.pdf) * Notions of Computation as Monoids - Exequiel Rivas, Mauro Jaskelioff [(arxiv.org/abs/1406.4823)](https://arxiv.org/pdf/1406.4823.pdf) - * Discrimination is Wrong: Improving Productivity - Edward Kmett [(video from YOW! Conferences)](https://www.youtube.com/watch?v=eXDJ5Jcbgk8), [(video from ZuriHac 2015)](https://www.youtube.com/watch?v=cB8DapKQz-I), [(slides)](http://yowconference.com.au/slides/yowlambdajam2015/Kmett-DiscriminationIsWrong.pdf) + * Discrimination is Wrong: Improving Productivity - Edward Kmett [(video from YOW! Conferences)](https://www.youtube.com/watch?v=eXDJ5Jcbgk8), [(video from ZuriHac 2015)](https://www.youtube.com/watch?v=cB8DapKQz-I) * Braided Monoidal Categories - Andre Joyal, Ross Street [(pdf)](http://maths.mq.edu.au/~street/JS1.pdf) * A practical type theory for symmetric monoidal categories - Michael Shulman [(arxiv.org/abs/1911.00818)](https://arxiv.org/pdf/1911.00818.pdf) * Supplying bells and whistles in symmetric monoidal categories - Brendan Fong, David I Spivak [arxiv.org/abs/1908.02633](https://arxiv.org/pdf/1908.02633.pdf), [(video part 1)](https://www.youtube.com/watch?v=5p_tB_MXFrk), [(video part 2)](https://www.youtube.com/watch?v=ecfl4DCXFPQ) diff --git a/src/main/scala/educational/category_theory/higher/monoidal/MonoidalCategory.scala b/src/main/scala/educational/category_theory/higher/monoidal/MonoidalCategory.scala index 1fb9fc62..776c47e8 100644 --- a/src/main/scala/educational/category_theory/higher/monoidal/MonoidalCategory.scala +++ b/src/main/scala/educational/category_theory/higher/monoidal/MonoidalCategory.scala @@ -9,7 +9,6 @@ import educational.category_theory.two.bifunctors.Bifunctor * Monoidal Categories based on Category of Scala types and functions * * Edward Kmett Discrimination is Wrong: Improving Productivity - * http://yowconference.com.au/slides/yowlambdajam2015/Kmett-DiscriminationIsWrong.pdf */ object MonoidalCategory {