proarrow-0: Category theory with a central role for profunctors
Category theory with a central role for profunctors
Modules
proarrow-0
- Proarrow
- Proarrow.Adjunction
- Proarrow.Category
- Proarrow.Category.Bicategory
- Proarrow.Category.Bicategory.Bidiscrete
- Proarrow.Category.Bicategory.CategoryAsBi
- Proarrow.Category.Bicategory.Co
- Proarrow.Category.Bicategory.Kan
- Proarrow.Category.Bicategory.MonoidalAsBi
- Proarrow.Category.Bicategory.Op
- Proarrow.Category.Bicategory.Product
- Proarrow.Category.Bicategory.Prof
- Proarrow.Category.Bicategory.Sub
- Proarrow.Category.Bicategory.Terminal
- Proarrow.Category.Colimit
- Proarrow.Category.Double
- Proarrow.Category.Enriched
- Instance
- Proarrow.Category.Instance.Bool
- Proarrow.Category.Instance.Cat
- Proarrow.Category.Instance.Constraint
- Proarrow.Category.Instance.Coproduct
- Proarrow.Category.Instance.Free
- Proarrow.Category.Instance.Hask
- Proarrow.Category.Instance.Kleisli
- Proarrow.Category.Instance.Linear
- Proarrow.Category.Instance.List
- Proarrow.Category.Instance.Nat
- Proarrow.Category.Instance.Product
- Proarrow.Category.Instance.Prof
- Proarrow.Category.Instance.Simplex
- Proarrow.Category.Instance.Sub
- Proarrow.Category.Instance.Unit
- Proarrow.Category.Instance.Zero
- Proarrow.Category.Limit
- Proarrow.Category.Monoidal
- Proarrow.Category.Opposite
- Proarrow.Category.Bicategory
- Proarrow.Core
- Proarrow.Functor
- Proarrow.Monoid
- Proarrow.Object
- Proarrow.Profunctor
- Proarrow.Profunctor.Composition
- Proarrow.Profunctor.Coproduct
- Proarrow.Profunctor.Corepresentable
- Proarrow.Profunctor.Costar
- Proarrow.Profunctor.Coyoneda
- Proarrow.Profunctor.Day
- Proarrow.Profunctor.Exponential
- Proarrow.Profunctor.Fix
- Proarrow.Profunctor.Forget
- Proarrow.Profunctor.Identity
- Proarrow.Profunctor.Initial
- Proarrow.Profunctor.Product
- Proarrow.Profunctor.Ran
- Proarrow.Profunctor.Representable
- Proarrow.Profunctor.Rift
- Proarrow.Profunctor.Star
- Proarrow.Profunctor.Terminal
- Proarrow.Profunctor.Yoneda
- Proarrow.Promonad