Search Results: Kleisli adjunction
Redirect to:
Kleisli category
Rabu, 2026-03-04 00:06:03theory, a Kleisli category is a category naturally associated to any monad T. It is equivalent to the category of free T-algebras. The Kleisli category...
Click to read more »Heinrich Kleisli
Jumat, 2024-05-17 14:40:50constructions in category theory, including the Kleisli category and Kleisli triples. He is also the namesake of the Kleisli Query System, a tool for integration...
Click to read more »Monad (functional programming)
Senin, 2026-07-13 16:58:27functional programming, used in the above example, is actually based on a Kleisli triple ⟨T, η, μ⟩ rather than category theory's standard definition. The...
Click to read more »Adjoint
Senin, 2023-09-18 16:14:53adjoint of a differential operator with general polynomial coefficients Kleisli adjunction Monoidal adjunction Quillen adjunction Axiom of adjunction in...
Click to read more »Isomorphism
Senin, 2026-08-10 15:50:46categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Monoidal monad
Sabtu, 2026-04-18 00:46:51one may tensor in the same way as their underlying vector spaces. The Kleisli category of a monoidal monad has a canonical monoidal structure, induced...
Click to read more »Olog
Selasa, 2026-03-03 03:58:07its unique side chain. Another target category that can be used is the Kleisli category C P {\displaystyle {\mathcal {C}}_{\mathbb {P} }} of the power...
Click to read more »Category theory
Minggu, 2026-08-16 03:31:02categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »List comprehension
Senin, 2026-05-11 10:35:51proposed as a query notation for databases and were implemented in the Kleisli database query language. In Haskell, a monad comprehension is a generalization...
Click to read more »Category (mathematics)
Rabu, 2026-08-19 10:52:50categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Functor
Jumat, 2026-08-21 12:47:53categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Rig category
Rabu, 2025-11-26 02:26:07categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Pseudomonad (category theory)
Jumat, 2026-08-14 20:00:11corresponding to this fact are the Eilenberg–Moore category on one side and the Kleisli category on the other. When considering the 2‑categorical analogue of adjoints...
Click to read more »Morphism
Kamis, 2026-06-11 05:57:22categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Equivalence of categories
Jumat, 2026-08-07 07:38:19categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »List object
Selasa, 2026-04-07 07:38:45categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Yoneda lemma
Rabu, 2026-08-12 05:03:04categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Coproduct
Jumat, 2025-11-07 08:27:08categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Concrete category
Senin, 2026-08-24 21:28:04categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Lawvere's fixed-point theorem
Jumat, 2026-08-21 10:08:05categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Preadditive category
Selasa, 2026-04-14 16:18:45categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Full and faithful functors
Jumat, 2025-09-19 12:34:55categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Direct limit
Jumat, 2026-05-29 23:16:07categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Strong monad
Jumat, 2025-06-20 04:27:58commutes for all objects A {\displaystyle A} and B {\displaystyle B} . The Kleisli category of a commutative monad is symmetric monoidal in a canonical way...
Click to read more »Markov decision process
Kamis, 2026-08-20 22:21:44{A}}} denote the free monoid with generating set A. Let Dist denote the Kleisli category of the Giry monad. Then a functor A → D i s t {\displaystyle {\mathcal...
Click to read more »Kan extension
Jumat, 2026-01-23 09:56:54categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Center (category theory)
Minggu, 2026-04-05 20:28:14categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Equaliser (mathematics)
Rabu, 2025-03-26 00:06:58categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Elementary topos
Sabtu, 2026-08-22 05:36:16categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Localization of a category
Kamis, 2026-02-19 10:41:16categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Pre-abelian category
Senin, 2026-06-29 22:18:20categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Quasi-category
Sabtu, 2026-05-30 10:24:52categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Essentially surjective functor
Selasa, 2024-03-05 02:02:20categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Overcategory
Minggu, 2026-04-05 21:15:19categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Isomorphism of categories
Kamis, 2026-02-19 12:17:43categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Category of sets
Senin, 2026-08-24 21:24:41categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Adjoint functors
Selasa, 2026-08-11 03:34:42constructions, called the category of Eilenberg–Moore algebras and the Kleisli category are two extremal solutions to the problem of constructing an adjunction...
Click to read more »List of algebraic constructions
Senin, 2022-03-21 00:31:26Integral group ring construction Category of Eilenberg–Moore algebras Kleisli category Adjunction (field theory) Lindenbaum–Tarski algebra construction...
Click to read more »3-category
Senin, 2026-08-24 21:30:37categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Lift (mathematics)
Jumat, 2026-02-20 04:43:44categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Polynomial functor
Selasa, 2024-03-05 02:09:52categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Tannakian formalism
Jumat, 2026-03-27 03:59:33categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Monad (category theory)
Sabtu, 2026-07-25 04:47:24C , T ) {\displaystyle \mathbf {Adj} (C,T)} . An initial object is the Kleisli category, which is by definition the full subcategory of C T {\displaystyle...
Click to read more »Cone (category theory)
Kamis, 2026-02-19 12:32:19categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Diagram (category theory)
Selasa, 2026-04-07 07:21:21categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Closed category
Selasa, 2026-07-14 05:19:33categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Glossary of category theory
Selasa, 2026-08-25 12:48:57condition for a functor to preserve weak equivalences. Kleisli category Given a monad T, the Kleisli category of T is the full subcategory of the category...
Click to read more »Topos
Rabu, 2026-08-26 16:21:51categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Category of modules
Senin, 2026-08-24 21:23:56categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »End (category theory)
Senin, 2026-04-06 16:46:27categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Limit (category theory)
Selasa, 2026-08-11 06:42:18categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Universal property
Rabu, 2026-08-19 15:11:17categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Natural transformation
Rabu, 2026-08-19 02:10:33categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Exact functor
Jumat, 2025-09-19 23:39:56categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Pushout (category theory)
Selasa, 2026-05-19 14:06:35categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Conservative functor
Sabtu, 2026-07-11 07:47:48categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Weak n-category
Senin, 2026-08-24 21:25:35categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Epimorphism
Senin, 2026-08-10 13:59:19categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Inverse limit
Selasa, 2026-07-07 12:36:36categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Product category
Selasa, 2026-05-12 07:45:30categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Dagger symmetric monoidal category
Rabu, 2024-04-17 20:24:58categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Monoidal category
Jumat, 2026-08-14 22:16:19categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Natural numbers object
Selasa, 2026-07-14 04:52:04categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »IDRA-21
Minggu, 2026-06-07 09:08:30S2CID 7796112. Phillips D, Sonnenberg J, Arai AC, Vaswani R, Krutzik PO, Kleisli T, et al. (May 2002). "5'-alkyl-benzothiadiazides: a new subgroup of AMPA...
Click to read more »Monoidal functor
Minggu, 2026-03-15 07:00:39categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Fundamental groupoid
Sabtu, 2025-07-19 08:48:55categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Refinement (category theory)
Jumat, 2026-03-27 03:58:54categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Forgetful functor
Senin, 2026-08-24 17:08:08categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Dual (category theory)
Jumat, 2026-04-10 06:50:16categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »2-category
Senin, 2026-08-24 08:42:43categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Symmetric monoidal category
Kamis, 2026-01-08 14:50:30categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Higher category theory
Sabtu, 2026-05-30 10:23:17categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Conglomerate (mathematics)
Kamis, 2026-01-15 05:04:36categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Premonoidal category
Rabu, 2025-10-01 05:17:45Premonoidal categories naturally arise in theoretical computer science as the Kleisli categories of strong monads. They also have a graphical language given...
Click to read more »∞-groupoid
Jumat, 2026-08-14 01:16:28categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Denotational semantics
Sabtu, 2025-07-12 07:41:45sets and functions. For a language with side-effects, we can work in the Kleisli category for a monad. For a language with state, we can work in a functor...
Click to read more »Applied category theory
Senin, 2026-06-22 22:49:02categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Category of Markov kernels
Rabu, 2025-05-14 23:42:30Stoch even when the underlying sets are not in bijection. Stoch is the Kleisli category of the Giry monad. This in particular implies that there is an...
Click to read more »Abelian category
Senin, 2026-07-13 14:15:47categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Simplicial set
Kamis, 2026-07-09 04:17:54categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Tetracategory
Senin, 2026-07-20 07:47:35categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Cartesian closed category
Rabu, 2026-08-12 19:54:41categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Commutative diagram
Kamis, 2026-01-29 13:50:31categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Product (category theory)
Sabtu, 2026-07-18 02:30:01categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »2-ring
Rabu, 2025-07-23 06:53:09categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »String diagram
Sabtu, 2026-07-25 04:13:32categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Coequalizer
Selasa, 2026-05-05 22:44:36categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Categorification
Selasa, 2026-06-16 03:57:52categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »∞-topos
Minggu, 2026-04-05 20:11:46categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Additive category
Minggu, 2026-07-19 18:09:11categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Cokernel
Rabu, 2025-06-11 12:24:15categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Enriched category
Jumat, 2026-08-14 22:37:31categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Monomorphism
Selasa, 2026-07-14 06:52:58categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Pullback (category theory)
Rabu, 2026-08-19 09:39:20categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Exponential object
Senin, 2025-09-22 05:59:02categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Comma category
Selasa, 2026-05-05 03:34:55categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Complete category
Kamis, 2026-02-19 12:32:47categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Initial and terminal objects
Sabtu, 2026-04-25 04:36:24categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Homotopy hypothesis
Jumat, 2026-04-24 07:12:29categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Tensor–hom adjunction
Rabu, 2026-03-25 15:14:30categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Category of abelian groups
Senin, 2026-08-24 21:27:41categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Point-surjective morphism
Rabu, 2026-08-12 12:09:10categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Simplicially enriched category
Kamis, 2026-03-19 02:54:48categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Simplex category
Minggu, 2023-01-15 21:51:54categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Category of relations
Senin, 2026-08-24 21:24:08category. The category Rel can be obtained from the category Set as the Kleisli category for the monad whose functor corresponds to power set, interpreted...
Click to read more »Model category
Sabtu, 2025-04-26 06:20:18categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Higher-dimensional algebra
Minggu, 2025-05-04 23:12:17categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Thamar (Cabanel)
Sabtu, 2026-07-25 01:56:08es. Corporación de Radio y Televisión Española. Retrieved 27 June 2026. Kleisli, Fritz. "Gefeiert oder verspottet?". artfritz.ch. Artfritz. Retrieved 27...
Click to read more »Subcategory
Selasa, 2026-04-28 18:12:31categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Zero morphism
Kamis, 2026-02-19 12:31:39categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »En-ring
Senin, 2026-08-24 21:25:03categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Giry monad
Minggu, 2026-06-07 07:17:43kernels. In particular, the category of Markov kernels can be seen as the Kleisli category of the Giry monad. Given measurable spaces ( X , F ) {\displaystyle...
Click to read more »Opposite category
Senin, 2026-04-06 16:34:07categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Jacques Riguet
Sabtu, 2025-08-02 03:28:52Hesselberg-Combinatorics 1992: (with Rene Guitart) Enveloppe Karoubienne et categorie de Kleisli, Cahiers de Topologie et Géométrie Différentielle Catégoriques 33(3) :...
Click to read more »Kernel (category theory)
Senin, 2026-08-24 21:28:14categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Derived functor
Minggu, 2026-08-09 08:01:42categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Representable functor
Senin, 2026-04-13 14:41:04categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Category of groups
Senin, 2026-08-24 21:21:48categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Outline of category theory
Selasa, 2026-07-14 05:18:35categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Category of rings
Senin, 2026-08-24 21:24:30categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Smooth functor
Selasa, 2024-03-05 02:12:45categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Free category
Senin, 2026-04-06 16:46:10categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Diagonal functor
Selasa, 2026-04-07 07:21:15categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »N-group (category theory)
Minggu, 2026-04-05 21:07:24categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Functor category
Rabu, 2026-04-22 04:45:37categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »2-group
Kamis, 2026-05-14 21:32:12categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Stable ∞-category
Kamis, 2026-04-30 23:56:02categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Arrow (computer science)
Jumat, 2025-08-22 13:18:10such as arrow calculus requiring only five laws. In category theory, the Kleisli categories of all monads form a proper subset of Hughes arrows. While Freyd...
Click to read more »Quotient category
Sabtu, 2026-03-14 00:17:07categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Deaths in April 2011
Senin, 2026-07-27 17:20:45in medicine, heart attack. L. J. Davis, 70, American writer. Heinrich Kleisli, 80, Swiss mathematician. John Mahoney, 61, American politician. Ange-Félix...
Click to read more »Pseudo-functor
Senin, 2026-08-24 21:26:27categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Swiss Mathematical Society
Jumat, 2026-04-24 14:54:33Specker (ETH Zurich) 1974–75 André Haefliger (Geneva) 1976–77 Heinrich Kleisli (Fribourg) 1978–79 André Delessert (University of Lausanne) 1980–81 Pierre...
Click to read more »Envelope (category theory)
Jumat, 2026-03-27 03:57:47categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »N-monoid
Rabu, 2017-11-15 06:35:28categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Fibred category
Minggu, 2026-05-10 08:20:38categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Timeline of category theory and related mathematics
Sabtu, 2026-05-30 10:19:08definition: A bicategory such that small bicoproducts exist; each monad admits a Kleisli construction (analogous to the quotient of an equivalence relation in a...
Click to read more »Traced monoidal category
Selasa, 2025-02-25 01:55:48categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »Val Tannen
Selasa, 2026-01-20 01:43:52Davidson, S. B.; Overton, C.; Tannen, V.; Wong, L. (1997-04-01). "BioKleisli: a digital library for biomedical researchers". International Journal on...
Click to read more »Amnestic functor
Kamis, 2019-12-19 23:51:25categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category Opposite category Product category...
Click to read more »