Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
formal category theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(1/198)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
198
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
Automata, Formal Verification
24.
Formal
25.
formal and combined safety elements
26.
formal and informal
27.
formal concept analysis
28.
formal education
29.
formal ferification
30.
formal languages
31.
formal logic
32.
formal methods
33.
formal PMS
34.
formal rationality
35.
formal reasoning
36.
formal revolution
37.
formal semantics
38.
formal specification
39.
formal verification
40.
mandatory formal concepts
41.
non-formal education
42.
rigorous formal diagrammatic system
43.
top-K formal concepts
44.
a coherent theory of proofs
45.
activity theory
46.
adaptive structuration theory (AST)
47.
algebraic number theory
48.
algebraic theory
49.
algorithm design and theory
50.
beam theory
51.
behavioral reasoning theory
52.
bicategory theory
53.
Boolean Algebra Meets Graph-Theory
54.
catastrophe theory
55.
chaos theory
56.
coding theory
57.
cognitive theory
58.
commitment theory
59.
communication channels (information theory)
60.
complexity leadership theory
61.
complexity theory
62.
computation theory
63.
computer softwaregraph theory
64.
conservation of resources theory
65.
Consumer Culture Theory
66.
control theory
67.
Cooper-Helmstetter cell cycle theory
68.
cosmology: theory
69.
critical theory of technology
70.
cultural theory of international relations
71.
dark matter theory
72.
decision theory
73.
Dempster-Shafer theory
74.
Demster-Shafer Theory
75.
density functional theory
76.
density functional theory (DFT)
77.
dependent type theory
78.
design theory
79.
development theory
80.
Digital Government Theory: Development and Application
81.
dispersive theory
82.
domain theory
83.
ecological systems theory
84.
economic theory
85.
end of theory
86.
energetic impact theory
87.
evolutionary theory of policy capacity
88.
Flow theory
89.
fully nonlinear potential theory
90.
game theory
91.
general systems theory
92.
general theory of information transfer
93.
general vibration theory
94.
graph theory
95.
gravitational waves / theory
96.
grounded theory
97.
group theory
98.
group threat theory
99.
higher-order beam theory
100.
History and Theory
101.
homotopy theory
102.
homotopy type theory
103.
housemoney effect prospect theory
104.
iceberg theory of culture
105.
image theory
106.
information theory
107.
innovation theory
108.
institutional theory
109.
intellectual capital theory
110.
interdependence theory
111.
inverse problem theory/applications
112.
inverse problems theory/applications
113.
job search theory
114.
Lawvere theory
115.
layer-wise displacement theory
116.
linear systems theory
117.
maritime investment theory
118.
mechanism design theory
119.
middle-range theory
120.
modern portfolio theory
121.
network theory
122.
nonlinear shallow water theory
123.
nonlinear shallow-water theory
124.
nonlinear strip theory
125.
nonlinear theory
126.
normal torsion theory
127.
number theory
128.
organization theory
129.
organizational theory
130.
peer‐to‐peer theory
131.
perceived customer value theory
132.
phase field theory
133.
picture theory
134.
protection motivation theory
135.
proto-theory of design
136.
punctuated equilibrium theory
137.
rational choice theory
138.
real options theory
139.
realization theory
140.
reduction theory
141.
refined zigzag theory
142.
regulatory focus theory
143.
sampling theory
144.
scapegoat theory
145.
search and matching theory
146.
self-determination theory
147.
self-determination theory of work motivation
148.
set theory
149.
shallow water theory
150.
shallow‐water theory
151.
sign theory
152.
signalling theory
153.
social exchange theory
154.
social identity theory
155.
social practice theory
156.
social presence theory
157.
social representation theory
158.
social system theory
159.
social systems theory
160.
sociological curriculum theory
161.
S-O-R theory
162.
speech-act theory
163.
stakeholder theory
164.
Stakeholder-oriented decision theory
165.
State Theory
166.
stimulus-organism-response theory
167.
stochastic learning theory
168.
strategic narrative theory
169.
strategic narrative theory
170.
Straussian theory model
171.
structuration theory
172.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
173.
switching theory
174.
synchronous reference frame theory
175.
system theory
176.
systems theory
177.
the RAT theory
178.
theory
179.
theory and practice of meta-modelling with application in healthcare
180.
theory building
181.
theory of accounting
182.
Theory of computation
183.
Theory Of Constraints (TOC)
184.
theory of economic development
185.
theory of inventive problem solving (TRIZ)
186.
theory of natural disaster
187.
Theory of paradox
188.
theory of planned behavior
189.
theory of planned behaviour
190.
theory of signs
191.
theory of value
192.
ticked cubical type theory
193.
time-dependent density functional theory (TD-DFT)
194.
type theory
195.
unified theory of acceptance and use of technology
196.
value theory
197.
virtual disc theory
198.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT