The following pages link to (Q3682648):
Displaying 50 items.
- Semidirect products of internal groupoids (Q964546) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- The category of varieties and interpretations is alg-universal (Q995628) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Corrigendum to ``Morita theory for coring extensions and cleft bicomodules''. (Q1016487) (← links)
- Representation of categories (Q1084490) (← links)
- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes (Q1089958) (← links)
- Categorical aspects of data type constructors (Q1094129) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- Automorphisms of manifolds and algebraic K-theory. I (Q1114973) (← links)
- A topos-theorist looks at dilators (Q1121978) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Domain theory in logical form (Q1174593) (← links)
- A characterization of quasi-toposes (Q1176678) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- CABool is monadic over almost all categories (Q1184039) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Algebraic functor slices (Q1196781) (← links)
- The logic of structures (Q1196790) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Enriched categorical semantics for distributed calculi (Q1208210) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Lie theory of formal groups over an operad. (Q1265504) (← links)
- Repleteness and the associated sheaf (Q1295499) (← links)
- Continuous families of coalgebras (Q1295571) (← links)
- Topos: Medieval supposition theory (Q1296325) (← links)
- Sketches and parametrization (Q1314408) (← links)
- Some remarks on Maltsev and Goursat categories (Q1320341) (← links)
- What is concrete equivalence? (Q1330913) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- CGOOD, a categorical graph-oriented object data model (Q1350521) (← links)
- Regular and exact completions (Q1380046) (← links)
- Closure categories (Q1388175) (← links)
- A representable approach to finite nondeterminism (Q1391859) (← links)
- Constructing process categories (Q1391863) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- The monoidal Eilenberg-Moore construction and bialgebroids (Q1399150) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Locally cartesian closed exact completions (Q1588066) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Beck's theorem for pseudo-monads (Q1612173) (← links)
- Generalized Springer theory for \(D\)-modules on a reductive Lie algebra (Q1618272) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Hopf polyads (Q1678459) (← links)
- On Hopf adjunctions, Hopf monads and Frobenius-type properties (Q1701170) (← links)
- Similarities between powersets of terms (Q1827316) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
