Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Theory and Applications of Categories (source)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/258)
Export
export all inquiry results
(2)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Lifting twisted coreflections against delta lenses
Clarke, Bryce James
Theory and Applications of Categories
2024
/
p. 838 - 877 : ill
http://www.tac.mta.ca/tac/volumes/41/26/41-26abs.html
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
258
1.
inverse problem theory/applications
2.
inverse problems theory/applications
3.
adhesive categories
4.
Brauer categories
5.
cartesian restriction categories
6.
categories
7.
categories of partial maps
8.
categories of sets
9.
diagram categories
10.
Dialectica categories
11.
Double categories
12.
duoidal categories
13.
monoidal categories
14.
monoidal closed and bi-closed categories
15.
partition categories
16.
promonoidal categories
17.
rig categories
18.
skew monoidal categories
19.
skew monoidal closed categories
20.
symmetric monoidal categories
21.
symmetric skew closed categories
22.
symmetric skew monoidal categories
23.
vowel categories
24.
a coherent theory of proofs
25.
activity theory
26.
adaptive structuration theory (AST)
27.
algebraic number theory
28.
algebraic theory
29.
algorithm design and theory
30.
beam theory
31.
behavioral reasoning theory
32.
bicategory theory
33.
Biot theory
34.
Bond theory
35.
Boolean Algebra Meets Graph-Theory
36.
catastrophe theory
37.
category theory
38.
chaos theory
39.
coding theory
40.
cognitive theory
41.
commitment theory
42.
communication channels (information theory)
43.
Complex systems theory
44.
complexity leadership theory
45.
complexity theory
46.
computation theory
47.
computer softwaregraph theory
48.
conservation of resources theory
49.
Consumer Culture Theory
50.
control and systems theory
51.
control theory
52.
Cooper-Helmstetter cell cycle theory
53.
cosmology theory
54.
cosmology: theory
55.
critical theory of technology
56.
cultural theory of international relations
57.
dark matter theory
58.
decision theory
59.
Dempster-Shafer theory
60.
Demster-Shafer Theory
61.
density functional theory
62.
density functional theory (DFT)
63.
dependent type theory
64.
design theory
65.
Dezert–Smarandache theory
66.
development theory
67.
Digital Government Theory: Development and Application
68.
dispersive theory
69.
domain theory
70.
dual-process theory
71.
Dynamic capability theory
72.
ecological systems theory
73.
economic theory
74.
end of theory
75.
energetic impact theory
76.
engaged theory
77.
enriched category theory
78.
Euler Bernoulli beams theory
79.
evolutionary theory of policy capacity
80.
Flow theory
81.
formal category theory
82.
formal language theory
83.
fully nonlinear potential theory
84.
game theory
85.
general systems theory
86.
general theory of information transfer
87.
general vibration theory
88.
graph theory
89.
gravitational waves / theory
90.
grounded theory
91.
group theory
92.
group threat theory
93.
higher-order beam theory
94.
History and Theory
95.
homotopy theory
96.
homotopy type theory
97.
housemoney effect prospect theory
98.
iceberg theory of culture
99.
image theory
100.
information theory
101.
innovation theory
102.
institutional theory
103.
intellectual capital theory
104.
interdependence theory
105.
job search theory
106.
language theory
107.
Lawvere theory
108.
layer-wise displacement theory
109.
linear systems theory
110.
macro-foundational theory
111.
maritime investment theory
112.
mechanism design theory
113.
meso-foundational theory
114.
micro-foundational theory
115.
middle-range theory
116.
mindlin plate theory
117.
modern portfolio theory
118.
network theory
119.
nonlinear shallow water theory
120.
nonlinear shallow-water theory
121.
nonlinear strip theory
122.
nonlinear theory
123.
normal torsion theory
124.
number theory
125.
organismic integration theory
126.
organization theory
127.
organizational theory
128.
peer‐to‐peer theory
129.
perceived customer value theory
130.
phase field theory
131.
picture theory
132.
protection motivation theory
133.
proto-theory of design
134.
public administration theory
135.
punctuated equilibrium theory
136.
rational choice theory
137.
real options theory
138.
realization theory
139.
reduction theory
140.
refined zigzag theory
141.
regulatory focus theory
142.
sampling theory
143.
scapegoat theory
144.
search and matching theory
145.
self-determination theory
146.
self-determination theory of work motivation
147.
set theory
148.
shallow water theory
149.
shallow‐water theory
150.
sign theory
151.
signalling theory
152.
social exchange theory
153.
social identity theory
154.
social practice theory
155.
social presence theory
156.
social representation theory
157.
social system theory
158.
social systems theory
159.
sociological curriculum theory
160.
S-O-R theory
161.
speech-act theory
162.
stakeholder theory
163.
Stakeholder-oriented decision theory
164.
State Theory
165.
stimulus-organism-response theory
166.
stochastic learning theory
167.
strategic narrative theory
168.
strategic narrative theory
169.
Straussian theory model
170.
structuration theory
171.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
172.
switching theory
173.
synchronous reference frame theory
174.
system theory
175.
systems theory
176.
the RAT theory
177.
theory
178.
theory and practice of meta-modelling with application in healthcare
179.
theory building
180.
theory of accounting
181.
Theory of computation
182.
Theory Of Constraints (TOC)
183.
theory of economic development
184.
theory of inventive problem solving (TRIZ)
185.
theory of natural disaster
186.
Theory of paradox
187.
theory of planned behavior
188.
theory of planned behaviour
189.
theory of signs
190.
theory of value
191.
theory selection
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
199.
ac-dc applications
200.
aerial systems: applications
201.
analytical chemistry applications
202.
antibacterial and photoactivity applications
203.
applications
204.
applications and performances of bioinspired materials
205.
applications in banking
206.
Applications in Test Engineering
207.
automotive applications
208.
automotive maintenance applications
209.
Biological applications
210.
biomaterial applications
211.
case studies of meta-modelling in healthcare applications
212.
collaborative robotics applications
213.
control applications
214.
control engineering computer applications
215.
CRISPR applications
216.
data center applications
217.
disaster relief and emergency applications
218.
Distributed healthcare applications
219.
edge applications
220.
Electrochemical applications
221.
environmental applications
222.
future web applications
223.
high current applications
224.
industrial applications
225.
industry applications
226.
inverse methods for engineering applications
227.
IoT localization applications
228.
LLM applications
229.
machine learning applications in power systems
230.
machine learning for environmental applications
231.
material performance and applications
232.
medical applications
233.
mixed-criticality applications
234.
mobile applications
235.
nuclear shielding applications
236.
office applications
237.
personal area network applications
238.
photovoltaic (PV) applications
239.
power electronics applications in power systems and utilities
240.
practical applications
241.
process modeling for engineering applications
242.
PV applications
243.
PV applications review
244.
real-life IoT applications
245.
residential applications
246.
safety-critical applications
247.
sensor applications
248.
simulation applications
249.
smart applications
250.
smart cities applications
251.
social media applications
252.
space applications
253.
structural applications
254.
super-applications
255.
surveying with construction applications
256.
web-based applications
257.
vehicle applications
258.
visual basic for applications
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT