The following pages link to (Q3315681):
Displaying 8 items.
- Finite limits and anti-unification in substitution categories (Q2185886) (← links)
- Mahavier completeness and classifying diagrams (Q2401737) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- (Q5742881) (← links)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations (Q6057501) (← links)
- The formal theory of relative monads (Q6496517) (← links)
- Adding a constant and an axiom to a doctrine (Q6642288) (← links)
- Equalizer in the Kleisli category of the \(n\)-fuzzy powerset monad (Q6671062) (← links)