The following pages link to (Q3682648):
Displaying 48 items.
- Two-dimensional linear algebra (Q4917040) (← links)
- Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras (Q4982052) (← links)
- The comprehensive factorization of Burroni's T-functors (Q5004667) (← links)
- (Q5013826) (← links)
- (Q5028446) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Functional sorts in data type specifications (Q5055916) (← links)
- A categorical view of varieties of ordered algebras (Q5058361) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- (Q5091270) (← links)
- Unifying notions of pasting diagrams (Q5094691) (← links)
- Mongruences and cofree coalgebras (Q5096389) (← links)
- (Q5101336) (← links)
- Geometrically partial actions (Q5113211) (← links)
- On the formal theory of pseudomonads and pseudodistributive laws (Q5150014) (← links)
- On the topological characterization of gestures in a convenient category of spaces (Q5152276) (← links)
- Topological structures in rough set theory: A survey (Q5162950) (← links)
- Probabilistic Completion of Nondeterministic Models (Q5262931) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)
- Backtracking with cut via a distributive law and left-zero monoids (Q5372012) (← links)
- Homological algebra in characteristic one (Q5382905) (← links)
- Services and Contracts: Coalgebraically (Q5415620) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- (Q5880157) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Unique-sort order-sorted theories : A description as monad morphisms (Q5881299) (← links)
- The category 𝒮hjIMSet of sheaves in MSet (Q5882585) (← links)
- An algebraic formulation for data refinement (Q5887529) (← links)
- On simplicial loops and \(H\)-spaces (Q5935982) (← links)
- Sheafifiable homotopy model categories. II (Q5954115) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)
- (Co)Homology of crossed modules (Q5960402) (← links)
- Semi-abelian categories (Q5960411) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Hopf monads: a survey with new examples and applications (Q6050139) (← links)
- HSP type theorems in the category of posets (Q6116573) (← links)
- Non-commutative ambits and equivariant compactifications (Q6123807) (← links)
- Frobenius monoidal functors from (co)Hopf adjunctions (Q6142605) (← links)
- Epimorphic quantum subgroups and coalgebra codominions (Q6151714) (← links)
- Distributive laws for relative monads (Q6159707) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- Enriching diagrams with algebraic operations (Q6629455) (← links)
- Monadic functors forgetful of (dis)inhibited actions (Q6634620) (← links)
- Varieties of quantitative algebras and their monads (Q6649438) (← links)
- General comodule-contramodule correspondence (Q6656110) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)
- Correspondence between composite theories and distributive laws (Q6666781) (← links)
