Pages that link to "Item:Q5838520"
From MaRDI portal
The following pages link to General Theory of Natural Equivalences (Q5838520):
Displaying 50 items.
- An introduction to quantaloid-enriched categories (Q277336) (← links)
- Fuzzy terms (Q277347) (← links)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Topological data analysis and cosheaves (Q495848) (← links)
- Stairway to heaven: the abstract method and levels of abstraction in mathematics (Q517895) (← links)
- Strongly connected multivariate digraphs (Q521369) (← links)
- Functors (between \(\infty \)-categories) that aren't strictly unital (Q721972) (← links)
- Finite axiomatizability of local set theory (Q764013) (← links)
- Kategorien topologischer Räume (Q773863) (← links)
- On the cohomology of two-stage Postnikov systems (Q775177) (← links)
- From problems to structures: the Cousin problems and the emergence of the sheaf concept (Q849442) (← links)
- A transformational characterization of if-then-else (Q913480) (← links)
- The early development of the algebraic theory of semigroups (Q1039948) (← links)
- Hierarchical evolutive systems: A mathematical model for complex systems (Q1090278) (← links)
- Categories and functors which characterize chemical reactions, their kinetics and mechanism (Q1116922) (← links)
- Natural transformations of organismic structures (Q1137526) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Duality in homotopy theory: A retrospective essay (Q1146416) (← links)
- Nicolas Bourbaki and the concept of mathematical structure (Q1198412) (← links)
- Other developments regarding the concept of energy in biological systems (Q1235074) (← links)
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes (Q1267982) (← links)
- From environments to representations -- a mathematical theory of artificial perceptions (Q1274888) (← links)
- Coherent functors (Q1275429) (← links)
- Closure categories (Q1388175) (← links)
- The MacLane problem on set-theoretical foundations for the category theory (Q1592189) (← links)
- How strict is strictification? (Q1730856) (← links)
- What we talk about when we talk about numbers (Q1799042) (← links)
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- Kan extensions are partial colimits (Q2156417) (← links)
- Autopoietic and \((\boldsymbol{M,R})\) systems (Q2177200) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- A species approach to Rota's twelvefold way (Q2221496) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
- On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory (Q2263065) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Local set theory (Q2387839) (← links)
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics (Q2441763) (← links)
- Mathematical models of abstract systems: knowing abstract geometric forms (Q2448534) (← links)
- Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory (Q2462035) (← links)
- Spaces of continuous functions on compact sets (Q2521116) (← links)
- Inverse Limites von Funktoren auf Kategorien kompakter Räume. Existenz- und Konjugiertensätze für kompakte Gruppen (Q2521605) (← links)
- Function systems (Q2528924) (← links)
- Categorie omologiche (Q2560305) (← links)
- Operations induced in function classes (Q2649269) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Categorical approach to modelling and to coupling of models (Q2960160) (← links)
- (Q2974144) (← links)
- On the Krull-Schmidt theorem with application to sheaves (Q3237627) (← links)
- Acyclic Models and Fibre Spaces (Q3245795) (← links)
- Some Operators on Uniform Spaces (Q3260153) (← links)
