The following pages link to (Q4145861):
Displaying 50 items.
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (Q263105) (← links)
- Continuity and geometric logic (Q280833) (← links)
- On algebras over multicategories (Q283085) (← links)
- On the tensor product of modules over skew monoidal categories (Q308158) (← links)
- Butterflies in a semi-abelian context (Q387884) (← links)
- Left determined model structures for locally presentable categories (Q409249) (← links)
- Lex colimits (Q456823) (← links)
- Ionads (Q456842) (← links)
- The glueing construction and double categories (Q456855) (← links)
- Sets and functions in theoretical physics (Q488350) (← links)
- \(\mathbb{T}\)-motives (Q515876) (← links)
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
- Bar and cobar constructions. II (Q579690) (← links)
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Projectivity of sheaves on a locale and of free modules (Q581658) (← links)
- Languages for monoidal categories (Q584380) (← links)
- Total reflections, partial products, and hereditary factorizations (Q585555) (← links)
- An intuitionistic model of single electron interference (Q609637) (← links)
- Groupoid sheaves as quantale sheaves (Q659892) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- A constructive proof of the Stone-Weierstrass theorem (Q678829) (← links)
- On the construction of the Grothendieck fundamental group of a topos by paths (Q678834) (← links)
- Finite objects in a locos (Q678844) (← links)
- A presentation of the initial lift-algebra (Q678845) (← links)
- Cartesian monads on toposes (Q678846) (← links)
- The modified realizability topos (Q678851) (← links)
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- Programs in partial algebras (Q685398) (← links)
- Stable domains are generalized topological spaces (Q685417) (← links)
- An elementary characterization of categories of separated objects (Q687572) (← links)
- Classifying spaces for sheaves of simplicial groupoids (Q687581) (← links)
- Congruences on ordered groupoids (Q687635) (← links)
- Quotient-reflective and bireflective subcategories of the category of preordered sets (Q719745) (← links)
- Monads on higher monoidal categories (Q722244) (← links)
- New wide classes of weakly Mal'tsev categories (Q748711) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Another denormalization theorem for abelian chain complexes (Q752839) (← links)
- Pro-group actions and fundamental pro-groups (Q757575) (← links)
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- Vertauschbarkeit von Limites und Colimites (Q759827) (← links)
- Topoi and categories of fuzzy sets (Q762152) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Smooth spaces versus continuous spaces in models for synthetic differential geometry (Q790924) (← links)
- Cofibrations in the bicategory of topoi (Q790926) (← links)
- Sheaf models and massless fields (Q791215) (← links)
- Classifying toposes and foliations (Q803599) (← links)
- Locales in functional analysis (Q807736) (← links)
- A 2-colimit characterization of internal categories of torsors (Q810134) (← links)
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic'' sets, ``intuitionistic'' fuzzy sets and topologies (Q812590) (← links)
- Free monoid in monoidal abelian categories (Q842758) (← links)
