The following pages link to (Q3682648):
Displaying 50 items.
- Monads for behaviour (Q265824) (← links)
- Sheaves on involutive quantales: Grothendieck quantales. (Q277338) (← links)
- Coalgebraic update lenses (Q283736) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- On rational pairings of functors (Q354670) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Free internal groups (Q421479) (← links)
- A bicategorical version of Masuoka's theorem. (Q434258) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Monads in double categories (Q531324) (← links)
- Characterizations of Morita equivalent inverse semigroups. (Q538080) (← links)
- Units of equivariant ring spectra (Q538636) (← links)
- Probabilities, distribution monads, and convex categories (Q549198) (← links)
- Fuzzy Prokhorov metric on the set of probability measures (Q549342) (← links)
- Languages for monoidal categories (Q584380) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Monadic extensions of institutions (Q622025) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← links)
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Finite objects in a locos (Q678844) (← links)
- Covariant functors in categories of topological spaces (Q684549) (← links)
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- A logic for category theory (Q685421) (← links)
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (Q687583) (← links)
- Idempotent monads and \(\star \)-functors (Q712190) (← links)
- Monads on higher monoidal categories (Q722244) (← links)
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) (Q742033) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- Notions of computation and monads (Q757075) (← links)
- On comonadicity of the extension-of-scalars functors (Q855971) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Morita theory for coring extensions and cleft bicomodules. (Q868916) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- 2-groups, trialgebras and their Hopf categories of representations (Q881959) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- The combinatorics of n-categorical pasting (Q909013) (← links)
- Pluri-adjoints and preservation of finite limits (Q914820) (← links)
- A generalization of the concept of sketch (Q916772) (← links)
- An algebraic approach to stable domains (Q917677) (← links)
- Idempotent probability measures on ultrametric spaces (Q924245) (← links)
- Nash equilibria for games in capacities (Q926215) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Semidirect products of internal groupoids (Q964546) (← links)
